edsl

  • telegram blockchain competition serokell
    TON: Is Haskell More Fun than FunC?
    We participated in the Blockchain Developer competition announced by the Telegram Open Network team. Here is what we submitted as our entry and what we learned while working on it.
  • Parsing Typed eDSL
    Parsing Typed eDSL
    Embedded DSL (or eDSL) is a popular technique for encoding your domain specific language into Haskell’s type system. One example of such DSL is Ivory – eDSL for C code generation. Even more often it’s useful to implement your DSL as a Haskell data type and interpret it right from Haskell.