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.
-
-
In the "programming language" paradigm, the code you write *is* "the program". In the "system" paradigm, it is an interaction with the system, that *builds* "the program". Build time effects are sacrilegious impurity to the former, often necessary scaffolding to the latter.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
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!