Now, the Lisp I am going back to is not Common Lisp, it's Gerbil Scheme https://cons.io/ or maybe Racket https://racket-lang.org/ — because only they already have good support for the kind of non-local module-scoped hygienic expansion necessary for type inference.
-
-
Show this thread
-
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 -
-
-
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?
-
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.
End of conversation
New conversation -
-
-
I have never seen types added to an untyped language work as seamlessly as types in languages designed for it.
-
How about macros added to a macroless language?
- 1 more reply
New conversation -
-
-
I am totally with you. I just finished off a year of Haskell, where I only used Haskell for hobby projects etc. It was an interesting experiences, but I missed the productivity and freedom I get with Lisp. I came out with the same conclusion as you.
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!