Обо мне

Привет! Меня зовут Василий, а это что-то вроде блога.

Я интересуюсь функциональным программированием, формальными методами и математикой в целом. Точнее, некоторым весьма ограниченным количеством её разделов, в которых я довольно слабо разбираюсь.

Мне кажется, по-настоящему я начал изучать ФП зимой 2017 с более глубокого знакомства с языком Haskell. До этого на работе я писал, в основном, на Elixir, Ruby, TypeScript, C#. Конечно, я учил Хаскель и что-то писал на нём и раньше, но в этот раз я решил погрузиться с ушами. Через какое-то время я получил возможность выбрать стек для нового проекта. Имея в наличии минимальный набор знаний и опыта (несколько прочитанных книг, пройденных курсов и написанных демок), я рискнул и выбрал Haskell + PureScript. Но это совсем другая история, которую я расскажу как-нибудь потом (или нет).

Весь 2019 год я использую Haskell, PureScript и OCaml для решения задач и продолжаю учиться. Также сейчас я активно изучаю Coq.

Здесь я (когда-нибудь) собираюсь писать обо вcём, что мне кажется интересным. В данный момент это Haskell, PureScript, OCaml, Coq, Nix (и NixOS), Emacs, алгоритмы, компиляторы, формальные методы, теория категорий и другие клёвые вещи.

Я иногда пишу в твиттере, но крайне редко. Всё, что я делаю в open source можно найти на GitHub.

Резюме лежит тут.

Контакты

Как со мной связаться?

  • Я активно пользуюсь telegram
  • Меня также всегда можно найти на freenode и в functional programming slack (каналы #haskell, #purescript, #ocaml)
  • Или просто написать мне на почту vasiliy.yorkin@gmail.com
  • Я есть на keybase.io
  • Мой юзернейм на reddit и freenode – vyorkin
  • Другие мои юзернеймы: yorkin, meow

В данный момент я живу в Москве (м. Митино, синяя ветка), но в последнее время около 6 мес каждый год я живу в Германии. И я всегда рад поболтать на любую из упомянутых выше тем.