bytebuster: (Villeret1-YesNo)
...Вона блює і співає ([personal profile] bytebuster) wrote in [personal profile] juan_gandhi 2017-04-05 11:20 pm (UTC)

Потерялся после 13-го слайда. :( Но считаю, как для самоучки без базового матана по теории категорий — нормально. :)

Вот хорошие слайды, очень близко к вашей лекции: Railway Oriented Programming



Я когда-то подобную штуку писал на коленке и наугад (без матана) для своей парсилки тайского языка. Там решение выглядело так, что кроме результата вычисления, тянулся еще description и дерево лемм.

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting