4 ms·Anyone care to guess at what he means by a strong and expressive type system?by tarkin2 17y agoAnyone care to guess at what he means by a strong and expressive type system?bitwize 17y agoAda'sjonshea 17y agoI’m pretty sure he’d point to Haskell as the best example.jonshea 17y agoCommon Lisp, {,S,O?CA}ML, and even C# also make the list.