How to implement a language using a functional language?

Question

I prefer Haskell.

I already know How to create my own language with a procedural language (for example, C, Java, Python, etc.).

But I know how to create your own language with a functional language (eg Haskell, Clojureand Scala).

I had read:

Internet resources

• Write yourself a chart in 48 hours
• Real World Haskell - Chapter 16. Using Persec
• Writing A Lisp Interpreter in Haskell
• Parser, fast combinator analyzer
• Implementing Functional Languages: A Textbook

Books

• Introduction Functional Programming Using Haskell 2nd Edition - Haskell

StackOverflow (but with procedural language)

• Compiler Writing
• create your own programming language

Source

• Libraries and Tools / HJS - Haskell

/? .

Answer 1

: . .

- , ( ), . ML ( , , , ).

Racket ( PLT Scheme) - , .

Answer 2

:

• Christian Queinnec Lisp " " ,
• Andrew Appel Compile with Continuations ( ML isbn: 0521582741)

, - .

Answer 3

Take a look also at Compiler.HOOPL and Control.Unification and uuagc attribute grammar preprocessor. You can also read https://wiki.ittc.ku.edu/lambda/images/e/e3/Modular-interpreters.pdf when writing modular interpreters in Haskell. Also note that Parsec is not very fast and for non-toy projects, Happy / Alex could be better.