4 ms·
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?
- mooism2 15y agoI 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 15y agoTyped Racket [1] is one of the languages distributed with Racket [2]. [1] http://docs.racket-lang.org/ts-guide/ http://docs.racket-lang.org/ts-guide/ [2] http://racket-lang.org/ http://racket-lang.org/