avshap: (Default)
avshap ([personal profile] avshap) wrote2008-01-18 12:04 pm

Про срачЪ в SF&F.FANDOM

Повторюсь. Функциональное программирование оно может быть и православненько математичненко, но ебануто на голову ещё больше чем МЭК61131-3 и релейные диаграммы.

[identity profile] oal.livejournal.com 2008-01-18 05:45 pm (UTC)(link)
Для point-free достаточно для начала понимания «одинаковые параметры с двух сторон мы опускаем». То, что это у нас получается комбинирование комбинаторов и прочие извращения с приведением к point-free — это уже потом.

Лямбда же в том объеме, чтобы врубиться в «"\x -> x*x" это тоже самое, что "square x = x*x", только без "square"» — это всего-навсего концепция анонимной функции. Без всяких гвоздей вроде бета-редукции. :)

[identity profile] khathi.livejournal.com 2008-01-18 05:49 pm (UTC)(link)
Бета-редукция -- это вообще основа основ, таблица умножения, так сказать. Те же Абельсон и Сассман её дают во второй же лекции вообще не называя её никак, под личиной "методов применения функций". ;)

[identity profile] oal.livejournal.com 2008-01-18 05:59 pm (UTC)(link)
Гы. Я лох.