3 ms·
It’s not a consensus because many of us have found that types are not the panacea we were taught. Erlang is a fantastic language, and it’s arguable that types w
by christophilus 6y ago
It’s not a consensus because many of us have found that types are not the panacea we were taught. Erlang is a fantastic language, and it’s arguable that types would not improve it, but rather hinder some of its better features. Same is true for Smalltalk and various lisps. I think there’s a place for various approaches to types.
- orwin 6y agoAll lisps I used could be statically typed, I think? Does elisp used typep? For small projects, hacks or emacs macros types are not useful but the possibility of adding types is there. [Edit:and it's useful when your finite state machine grows to much]