Parsing typed eDSL
in Work Last modified at:
In a post at Serokell’s blog I cover my journey in turning a typed stack-based programming language Michelson to embedded DSL in Haskell. Tricky part is parsing language from text and returning a well-typed representation of a program.
Beyond blog post
You can check my lectures on advanced typing in Haskell:
Ideas I described in this blog post were taken further to develop Indigo, a more-or-less conventionally looking embedded programming language that is compiled to stack language as in blog post by further exploiting possibilities of Haskell’s rich type system.