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.
-
-
Another reason for reverting to Lisp is that I realize that I have to play on my strengths, not my weaknesses, and that under right deadlines I don't have the time to become the expert I'd have to be to make my immediate projects work in e.g. Haskell.
Show this thread -
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 -
-
-
I still invite you to help me get Coalton in flight with your Lisp prowess.https://github.com/stylewarning/coalton …
-
I have had a bookmark for Coalton for some time, and I may get inspired by some of it, but I don't see myself coming back to Common Lisp at this point, rather than to Gerbil or Racket.
- 3 more replies
New conversation -
-
-
I'm sure you've seen it, but if not, perhaps there are ideas to to be gleaned from https://github.com/stylewarning/coalton … ?
Thanks. 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!