News for hackers. Stuff that matters.

A comment on 1ML – unifying ML into one language. Parent comment

Re:1ML – unifying ML into one language by fab13n on Thursday April 23, 2015 @04:46AM (#9425522)
That's often true within dynamically typed languages, but statically typed languages definitely don't feel Lispy. Moreover, messing with static type systems involves much more maths than hacking.
[ Parent | on HN ]
Re:1ML – unifying ML into one language by mordocai on Thursday April 23, 2015 @10:41AM (#9427011)
It is perfectly possible to write/use a lisp that is statically typed and still feels like a lisp. AFAIK the closest thing to this currently is shen http://www.shenlanguage.org/.

None of the things that make a lisp a lisp prevent static typing. Some common constructs could be hard to figure out the types for, but they figured out the types of transducers so I doubt it is impossible.

[ Parent | on HN ]