Ask HN: Lisp-like macros in a statically typed functional programming language

Is it possible to have LISP-like macros in a statically typed functional PL like Haskell?

Haskell is very powerful, primarily owing to its advanced type system. LISP is well-known for it's macros.

Is there any way to combine these two?

2 comments

[ 122 ms ] story [ 1432 ms ] thread

I take it you don't count Template Haskell as being “Lisp-like macros in a statically typed functional programming language”?

Could you clarify the important differences between the two, from your point of view?

gosub 14y ago ↗

Typed Racket [1] is one of the languages distributed with Racket [2].