Операционная система — браузер

Хм… хорошо бы встроить в систему несколько компиляторов для языков без адресной арифметики: До-Диез, Лисп или его потомка, Хаскелль для эстетов

Y-комбинатор, упрощение интерфейса

Статью я обновил. Теперь это менее похоже на свертку.

Y-комбинатор, упрощение интерфейса

Ну, поскольку он неподвижная точка, он может поддерживать некое слабомутирующее окружение — экспертную систему, например. Ведь иногда параметры придется менять, а вид структуры остается.

Номер два. Описав универсальный Ы-комбинатор, можно делать объявления вида

fac N = Y (\next -> \data -> next * data) N

которые, согласитесть, короче, чем обычные объявления.

F# не ленится :(

У меня была идея передавать в каждую итерацию лямбду, содержащую продолжение; собственно, так и выглядела Лисп-версия Ы-комбинатора.

К Ф-Шарпу я пришел из Хаскеля, который ленив настолько, что его приходится заставлять вообще что-то считать :)

Вот вопрос — а Nemerle тоже активный?

Функциональное программирование :: реккурсивные функции

Цель была формализовать переделку рекурсии в foldl, или установление невозможности такого преобразования.