Anatolii

Scala

Introduction to Recursion Schemes with Matryoshka

Recursion is the GOTO of functional programming - Erik Meijer^1 Recursive data structures In our daily programming life, we encounter recursive data structures on a regular basis. The best-known examples include linked lists and trees. Often working with such data structures we have a need to evaluate (collapse) them

Scala

Rewriting Process Algebra, Part 3: FreeACP Implementation

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. If you have not read the previous parts of this report, you are advised

Scala

Rewriting Process Algebra, Part 2: Engine Theory

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. The other two parts: * Rewriting

Scala

Rewriting Process Algebra, Part 1: Introduction to Process Algebra

This is the first part of a progress report on my attempt to model a process algebra as an expression rewriting machine. The process algebra in question is SubScript, which is an extension of ACP. It is recommended to familiarize yourself with ACP and process algebras before reading this article

Scala

Dissecting Shapeless: Poly

In this article, I would like to analyse the architecture of Shapeless' polymorphic functions and their inner workings. If you are new to Shapeless, you may want to read the first article of the series: Learning Shapeless: HLists. This article does not aim to introduce polymorphic functions or provide

Scala

Dissecting Shapeless: HLists

Shapeless is a Scala library that aims to make programming more type-safe. This means that you let the compiler know as much as possible about your program, so that if something is wrong with it, it is more likely to be caught during compile time. Since a lot of the

Scala

Thread safety of SubScript values (and other scoped references)

In SubScript, we have a possibility to use vals and vars in scripts. They are basically containers for data, just like Scala's vals and vars, but they store their data in SubScript VM data structures. Script itself is a tree of nodes defining its execution flow. Some nodes