About me

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

I’m interested in statically typed functional programming, Martin Löf’s type theory, dependent types, intuitionistic mathematics in general and formal verification. These days I spend most of my time exploring the world of FP, formal methods and category theory.

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.

Contact

Want to talk?

Currently I’m located in Moscow, Russia. Feel free to get in touch if you want to hang out and discuss any of those topics.