This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
Free monads based on from intuitions from the Data types à la Carte paper. Combine functors and make embedded DSLs in Haskell. See the original paper, by Wouter Swierstra: https://webspace.science.uu.nl/~swier004/publications/2008-jfp.pdf . See the Haskell library I built around it: https://codeberg.org/jjba23/free-alacarte . How do you use this ? # This section gives a brief demonstration of…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.