There's an experimental Racket language called Hackett which is attempting to give you the best of both worlds of Lisp's macros and Haskell's types. https://gi

There's an experimental Racket language called Hackett which is attempting to give you the best of both worlds of Lisp's macros and Haskell's types. https://github.com/lexi-lambda/hackett https://github.com/lexi-lambda/hackett