Ü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.

Ich habe angefangen, im Winter 2017 das funktionale Programmieren zu lernen, als Haskell mein Interesse geweckt hat und ein paar Monate später hatte ich die Chance, es bei der Arbeit zu nutzen.

Zuvor war ich für einige als Frontend-Entwickler tätig Zeit. Davor benutze ich Elixir seit ungefähr einem Jahr und Noch früher habe ich Ruby geschrieben. Vor langer Zeit, Ich habe als .NET-Entwickler gearbeitet und C# verwendet. Jetzt habe ich komplett Übergang zur funktionalen Programmierung. Ich habe Haskell benutzt Seit über einem Jahr, und es war meine Programmiersprache für etwa 8 Monaten.

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.

Résumé ist hier.

Kontakt

Möchte reden?

Derzeit wohne ich in Moskau, Russland. Aber 6 Monate im Jahr ich lebe in deutschland. Bitte, fühlen Sie sich frei und kontaktieren Sie mir zu jederzeit.