A functional programming language I am making to learn about functional programming design and the Curry-Howard isomorphism.
The following are resources I have used to implement Chi.
- Peyton Jones, Simon L., and David R. Lester. "Implementing Functional Languages: a Tutorial". Prentice Hall, 1992, Microsoft, www.microsoft.com/en-us/research/publication/implementing-functional-languages-a-tutorial/.
- I aim to cover chapters 1, 2 and 6. For anyone wanting to implement a functional programming language, I cannot recommend this book enough.