Hype
The Hype is Real!
With the help of the typeannotations you can have types, AND type checking with Hy!
Work in progress!
=> (require hype.ann)
=> (ann foo [int :-> str])
=> (defn foo [a] (str a))
=> (foo 1)
'1'
=> (foo "1")
Traceback (most recent call last):
...
TypeError: Incorrect type for "a"