• Операционная система — браузер
    –3
    Хм… хорошо бы встроить в систему несколько компиляторов для языков без адресной арифметики: До-Диез, Лисп или его потомка, Хаскелль для эстетов
  • Y-комбинатор, упрощение интерфейса
    0
    Статью я обновил. Теперь это менее похоже на свертку.
  • Y-комбинатор, упрощение интерфейса
    0
    Ну, поскольку он неподвижная точка, он может поддерживать некое слабомутирующее окружение — экспертную систему, например. Ведь иногда параметры придется менять, а вид структуры остается.

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

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

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

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

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

    Вот вопрос — а Nemerle тоже активный?
  • Функциональное программирование :: реккурсивные функции
    0
    Цель была формализовать переделку рекурсии в foldl, или установление невозможности такого преобразования.