cl-typed
ML-like syntax for ftypes with library-side type-checking

Examples:

(annot:enable-annot-syntax) @! (number number → number) (defun add (a b) (print "I will never print, even with invalid inputs at runtime.") (+ a b)) (defun broken-call () (add "x" "y")) ;; Will not compile (defun add-x (a b) (print "I will happily print, even with invalid inputs at runtime.") (+ a b)) (defun broken-call-x () (add-x "x" "y")) ;; Will compile with just a warning

Homepage: GitHub

License: GPLv3

Topics: language extension