Michelson

  • 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.
  • Three Months of Hustle
    Three Months of Hustle: Serokell Q1 2019 Report
    We started the new 2019 year with intensive work in all areas. Only three months have passed, but we can already say with confidence: this is a year of significant changes.