kb
28.09.2012 16:41
Словил себя на некоторой (пусть слабоватой) наркомании. Начал на stack overflow описывать, как можно было бы в "чистом" языке выразить концепцию времени. Само время (time-stream) можно было бы выразить при помощи SICP'овского трюка с "потоками" (а ля питоновские генераторы), когда значение состоит из пары, первый ... more →
kb
15.08.2012 10:09
Кстати, по поводу предыдущей статьи http://www.saturnflyer.com/blog/jim/2012...
Вот настоящее доказательство, что функциональное программирование иногда наше всё. Так переусложнить дизайн программы, как смогли все эти ребята и их паттерн "delegation" ... more →
kb
24.07.2012 07:51
Кстати, может я и дебил, но совершенно не понимаю, каким образом к функциональному программированию (да да, тому самому, в котором нету присваивания) прикрепить алгоритм hash-table. В смысле, получается, либо нужен новый тип данных, который как список, только с быстрой операцией "сдвиг на n элементов", либо как-то ... more →
clayrat
15.05.2012 23:15
соотношение между теорией множеств и теорией категорий чем-то напоминает таковое между ооп и фп