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.
-
-
Finally, interacting with now former employees, I realized sharing a mindset is essential to building software together, and that I am unlikely to find Haskellers who understand much less appreciate the system paradigm, not to mention tooling support. But many Lispers like types.
Show this thread -
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 thread
End of conversation
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!