Anatolii Kmetiuk's Homepage
About Archives
  • Implicits mechanism in Scala

    May 12, 2017

    There are three things Scala implicits mechanism is good for:

    Read on →

  • Introduction to Type classes Webinar

    Mar 22, 2017

    Hello,

    It is my pleasure to invite you to a free webinar of mine where I am going to introduce type classes and some basic usage of them in purely functional libraries.

    Read on →

  • Introduction to Recursion Schemes with Matryoshka

    Mar 10, 2017 •

    Recursion is the GOTO of functional programming - Erik Meijer1

    In our daily programming life, we encounter recursive data structures on a regular basis.

    1. https://twitter.com/headinthebox/status/384105824315928577?lang=en ↩

    Read on →

  • Rewriting Process Algebra, Part 3: FreeACP Implementation

    Jan 13, 2017

    This is the third part of my progress report on a rewriting-based implementation of SubScript, FreeACP. This part covers the architecture of FreeACP I came up with so far while implementing the rewriting engine for SubScript.

    Read on →

  • Rewriting Process Algebra, Part 2: Engine Theory

    Jan 12, 2017

    This is a second part of a progress report on my attempt to model a process algebra as an expression rewriting machine. This part covers the theoretical foundations of the two implementations (engines) of SubScript: the standard one, and FreeACP, the one I am building.

    Read on →

« Older Newer »

© Anatolii - Powered by Jekyll & whiteglass - Subscribe via RSS