At the Boston Lisp Meeting I gave a variant of my LambdaConf 2019 talk about lessons going from Lisp to OCaml—to a crowd of Lispers rather than typed FPers. I now think I should go back to Lisp, because I myself can add types to Lisp more easily than macros to OCaml or Haskell.
-
Show this thread
-
Replying to @Ngnghm
What would macros add to Haskell? My understanding is macros are needed in langs w eager eval (Lisps) to let you define abstractions that defer eval. Haskell is lazy everywhere. Is there some other important use of macros?
2 replies 0 retweets 0 likes
Replying to @billburcham
Macros would replace a lot of syntactic boilerplate, allow for composable extensions in a way that TemplateHaskell and other systems cannot achieve, enable more powerful code derivation, allow for currently unreachable optimizations. See Hackett for a few simple examples.
8:23 AM - 18 Oct 2019
0 replies
0 retweets
4 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!