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

2 pointswinter_blue2 comments

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?

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?

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