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.
-
-
Is there more to read about the system paradigm? Or is something you made up just now? How is Lisp better at it? Is it about macros? Are macros super good for systems?
-
The classic article on the system paradigm vs the programming language paradigm is "The Structure of a Programming Language Revolution" by Richard P. Gabriel https://www.dreamsongs.com/Files/Incommensurability.pdf … Macros are "just" formalizing the fact that building software uses scaffolding all the way down.
- 1 more reply
New conversation -
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!