blake shaw · @rml
132 followers · 408 posts · Server functional.cafe

Which do you prefer, the popular Cartwright/Shinn "soft type system" approach to pattern matching in scheme with its large pattern language, or the "Indiana style" matcher that emphasizes catamorphism while adopting a quasiquotation orientation towards expressing patterns?

#scheme #lisp #r6rs #r7rs #SRFI #guile #chicken #chibi #gauche

Last updated 1 year ago

Andrew Tropin · @abcdw
502 followers · 902 posts · Server fosstodon.org

SRFIs are modules, which are portable across different scheme implementations, also there is a process for proposing them. BTW, guile contains only subset of it.

ice-9 are basically guile modules, which could be (guile ...), but they are (ice-9 ...).

srfi.schemers.org/srfi-process

lists.gnu.org/archive/html/gui

#guile #scheme #lisp #SRFI #guix

Last updated 2 years ago

blake shaw · @rml
111 followers · 301 posts · Server functional.cafe

Just had a (certainly unoriginal) idea for "named match", which extends the Shinn patter matcher to behave like named let. Quick and dirty prototype came together quickly with syntax-case.

#lisp #scheme #macros #r7rs #SRFI #guix

Last updated 2 years ago

blake shaw · @rml
110 followers · 289 posts · Server functional.cafe

-165 (environment monad) is great because it allows you to do all the fun-yet-dirty stuff you can do with `eval` in a safe (interaction-environment) that you have precise control over

#SRFI

Last updated 2 years ago

Andrew Tropin · @abcdw
452 followers · 837 posts · Server fosstodon.org

Do someone have a good test running setup for ?

, , -64,

I hacked something like this, but there is a way more work to make it any satisfactory.

#guile #emacs #geiser #SRFI #repl

Last updated 2 years ago