Pull to refresh
8
0
Кир @Grass

User

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

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

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

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

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

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

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

Information

Rating
Does not participate
Date of birth
Registered
Activity