Hi.

Blog logo

I'm Anatolii Kmetiuk.

đŸ’ģI'm a compiler engineer at LAMP/EPFL, working on Scala 3.

Check out the books I've written:

📕Mastering Functional Programming – the motivation behind purely functional libraries such as Cats.

📕[Free] A Story of One Library – a commit-by-commit analysis of an application from the very start. The challenges that were arising during the implementation are addressed in a functional way, so that the reader can understand the motivation behind the functional techniques.

Where to find me:

Blog Posts

  • Feb 09, 2020 »Following Causal Chains in Dotty Codebase
  • Feb 08, 2020 »Debugging Complex Scala Code: Tried and True Approaches
  • Mar 13, 2019 »Hacking on Dotty: The Diary
  • Aug 18, 2018 »Effect Extensions Pattern
  • Apr 29, 2018 »Models for Life
  • Nov 30, 2017 »Strategic Problem-Solving
  • Jul 12, 2017 »Introductory Functional Programming Course: Learning the Intuitive Way
  • Jun 17, 2017 »Why CRUD Applications are hard?
  • May 12, 2017 »Implicits mechanism in Scala
  • Mar 22, 2017 »Introduction to Type classes Webinar
  • Mar 10, 2017 »Introduction to Recursion Schemes with Matryoshka
  • Jan 13, 2017 »Rewriting Process Algebra, Part 3: FreeACP Implementation
  • Jan 12, 2017 »Rewriting Process Algebra, Part 2: Engine Theory
  • Jan 11, 2017 »Rewriting Process Algebra, Part 1: Introduction to Process Algebra
  • Oct 09, 2016 »Dissecting Shapeless: Poly
  • Sep 30, 2016 »Dissecting Shapeless: HLists
  • Aug 10, 2016 »How to split monolithic commit history in git
  • Apr 13, 2016 »Thread safety of SubScript values (and other scoped references)
  • Apr 08, 2016 »SubScript - A Brief Progress Report
  • Mar 29, 2016 »Compiling Caffe under Mac OS X with Anaconda dependencies

Š Anatolii Kmetiuk, 2016 - 2020 — built using Lagom theme. Powered by Thera. The sources of this site are availabel on GitHub.