A C++ developer with strong affinity to functional programming and type theory. I also teach a small FP course at the Nizhny Novgorod State University.