https://github.com/aherrmann/final-encoding-examples

Example codes to blog post about final encoding of embedded languages
https://github.com/aherrmann/final-encoding-examples

Last synced: about 1 month ago
JSON representation

Example codes to blog post about final encoding of embedded languages

• Host: GitHub
• URL: https://github.com/aherrmann/final-encoding-examples
• Owner: aherrmann
• License: bsd-3-clause
• Created: 2016-05-28T10:57:51.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2016-05-28T10:59:02.000Z (about 10 years ago)
• Last Synced: 2025-01-13T09:10:03.664Z (over 1 year ago)
• Language: Haskell
• Size: 9.77 KB
• Stars: 2
• Watchers: 5
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Mutual Recursion in Final Encoding - Examples

Example codes to my [blog

post](http://aherrmann.github.io/programming/2016/05/28/mutual-recursion-in-final-encoding)

about defining mutually recursive functions within an embedded language that is

implemented through final encoding in Haskell.

There are no special dependencies. The code has been tested on GHC 7.6.3 and

7.10.3. To play around with the example codes simply load the corresponding

module within `src/` into `ghci`.