Ещё 2 семинара позади

[alogic]

В прошлый четверг и в эту среду изучали по-порядку: введение рекурсии в наше типизированное исчисление с помощью оператора неподвижной точки fix; редукционные стратегии.

Comments

[ex-nextberku97.livejournal.com]

быдлокодеры считают рекурсию мемом башорга

[alogic.livejournal.com]

Однако императивное программирование, в котором живут быдлокодеры, сталкивается с серьёзными трудностями по мере роста размера программы. Даже поиск ошибок становится непосильной задачей, не говоря уже об оптимизации, распараллеливании. Поэтому в сторону функционального программирования смотрят всё чаще.

Кроме того теория, на которой это всё основано, связана с логикой, основаниями математики, оказавшимися внезапно практически применимыми из-за возросшей мощности современных компьютеров. Так что с интересом принялся изучать.

[link0ff.livejournal.com]

У вас есть какое-то комьюнити? Что-то типа ua_od_fp, ничего такого не нашел.

[alogic.livejournal.com]

Нас всего трое на семинаре, так что моего ЖЖ хватает:)