I agree. Good dynamic languages (Common Lisp, Smalltalk, Factor) has a lot going... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

emiljbs on Jan 13, 2014 | parent | context | favorite | on: Hindley-Milner in Clojure

I agree. Good dynamic languages (Common Lisp, Smalltalk, Factor) has a lot going for them but static typing is also really nice. A mix between the two (preferably something that starts out as a dynamic lang and slowly moves towards being static) would be great (Common Lisp kinda does this with optional static typing).

aidenn0 on Jan 14, 2014 [–]

CL's type system has a few warts to really do static typing well.

For a language that truly hass optional static types see Shen[1]

[1] http://shenlanguage.org/

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact