Hi.

I'm Anatolii Kmetiuk.

Compiler Engineer at LAMP/EPFL. I write here about my work and my discoveries along the life journey.

📕Check out "Mastering Functional Programming", my latest book on purely functional programming in Scala with 😸Cats and the Typelevel family of libraries.

My other project is FunctorHub.com – courses and books on purely functional Scala.

Blog Posts

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