2 ms·
Static typing is greatly beneficial, with HM it doesn't require a lot of annotation (people that use it find type annotations to be beneficial anyway). Language
by krichman 13y ago
Static typing is greatly beneficial, with HM it doesn't require a lot of annotation (people that use it find type annotations to be beneficial anyway). Languages that don't offer strong typing and GADTs are blub languages.
- PuercoPop 13y agoCommon lisp is strongly typed, everything is of type t[1] [1]: http://www.xach.com/naggum/articles/3284289178877169KL2065E@naggum.no.html http://www.xach.com/naggum/articles/3284289178877169KL2065E@...