You might like Coalton, which is statically typed, functional language embedded within Common Lisp. However, it hasn't reached version 1.0 yet. https://github.

You might like Coalton, which is statically typed, functional language embedded within Common Lisp. However, it hasn't reached version 1.0 yet. https://github.com/coalton-lang/coalton https://github.com/coalton-lang/coalton