About me

Hello! My name is Vasiliy Yorkin and this is my personal website.

I’m interested in statically typed functional programming, type theory and formal verification. These days I spend most of my time exploring the world of FP and category theory.

I’ve started to learn functional programming for real in winter 2017, when Haskell caught my interest and a couple of months later I had a chance to use it at work.

Previously I’ve worked as a frontend developer for quite some time. Before that I’ve been using Elixir for about a year and even earlier I’ve been writing some Ruby. A long, long time ago, I worked as a .NET developer and used C#. Now I have completely moved over to functional programming. I’ve been using Haskell for over the year now, and it has been my main development language for about 5 months.

In this blog I’m going to write about some of the things I do. Particularly about Haskell, PureScript and OCaml, but sometimes about Nix (and NixOS), Coq and other technologies and ideas I’m care about.

Occasionally I tweet about those and other things on Twitter. Most of my open source work is available on GitHub.

Résumé is here.


Want to talk?

Currently I’m located in Moscow, Russia. But 6 months a year I live in Germany. Feel free to get in touch if you want to hang out and discuss any of those topics.