[christophilus]

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]

All 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]