Über mich

Hi! Mein Name ist Vasiliy Yorkin und dies ist meine persönliche Website.

Ich interessiere mich für statisch typisierte funktionale Programmierung, Typ Theorie und formale Verifikation. In diesen Tagen verbringe ich den größten Teil der FP- und Kategorietheorie zu erkunden.

In diesem Blog schreibe ich über Haskell, PureScript und OCaml, aber manchmal über Nix (und NixOS), Coq und andere Technologien und Ideen bin ich Wert darauf legen.

Manchmal twittere ich über diese und andere Themen weiter Twitter. Die meisten meiner Open Source Die Arbeit ist auf GitHub verfügbar.

Kontakt

Möchte reden?

Derzeit wohne ich in Moskau, Russland. Bitte, fühlen Sie sich frei und kontaktieren Sie mir zu jederzeit.