GSoC 2019: Проверка графов на двудольность и трансформеры монад

В нашем блоге на Хабре Василий Алфёров, студент 4 курса, рассказал о своей реализации алгоритма проверки графа на двудольность на Хаскелле.

В сферу интересов Василия входят параметризованные алгоритмы и функциональное программирование. Он участвовал в Google Summer of Code 2019 и делал проект с организацией Haskell.org в рамках библиотеки Alga: добавлял туда типобезопасное представление для двудольных графов и алгоритмы для этого представления. 

Статью читайте здесь: https://habr.com/ru/company/hsespb/blog/486130/