Qi is a lisp-like language with Haskell-style type-checking which can be turned on and off at will: http://en.wikipedia.org/wiki/Qi_(programming_language)#Type

Qi is a lisp-like language with Haskell-style type-checking which can be turned on and off at will: http://en.wikipedia.org/wiki/Qi_(programming_language)#Type_checking http://en.wikipedia.org/wiki/Qi_(programming_language)#Type_...