«Какую часть Хиндли-Милнера ты не понимаешь?»

 не проверять тип тоже.

аписать факториальную функцию без использования рекурсии с использованием лямбда-исчисления? Это означает только математическую запись, а не реализацию в каком-либо конкретном языке программирования.

@naomik Я принял ответ Алана, потому что моей главной целью было использовать «ванильный Clojure как лямбда-исчисление». В своем ответе вы прекрасно перечислите недостатки этого подхода, и он очень помогает. Вы также предоставляете 3 варианта и даже предоставляете реальную оценку! Это действительно отличный ответ, я бы хотел отметить оба варианта как правильные!

чаю лямбда-исчисление с книгой Грега Майклсона «Введение в функциональное программирование через лямбда-исчисление». Я реализую примеры в Clojure, используя только подмножество языка. Я разрешаю только: символылямбда-функции с одним ...

Есть ли эффективный способ преобразования унарного числа в двоичное число?

Обычно ли сети взаимодействия оставляют кучу лишних вентиляторов?

Я собираю термины лямбда-исчисления в сети взаимодействия, чтобы оценить их, используя абстрактный алгоритм Лампинга. Чтобы протестировать мою реализацию, я ...

Можно ли эффективно оценить условия лямбда-исчисления?

Недавно я написал много программ для лямбда-исчисления и хотел бы запустить некоторые из них в режиме реального времени. Тем не менее, так как трендовая функ...

Проверка понимания: «Переменная» v.s. «Значение» и «функция» против «абстракции»

(Этот вопрос является продолжениемэтот во время изучения Haskell.)Я привык путать понятие между «переменной» и «значением». Поэтому я прочитал о вики-страниц...

Можно ли это выразить в стиле free point?

Дано следующее выражение для суммирования IEnumerable чисел: let sum l = l |> Seq.reduce(+) //version aМожно ли устранить аргумент - как так? let sum = Seq.reduce(+) //version bЯ получаю сообщение об ошибке от компилятора F # (FS0030) и, ...

Можно ли это выразить в стиле free point?

Какова правильная семантика замыкания над переменной цикла? [закрыто]

Рассмотрим следующий код lua: f = {} for i = 1, 10 do f[i] = function() print(i .. " ") end end for k = 1, 10 do f[k]() endЭто печатает числа от 1 до 10. В этом случае,i закрывается по значению для каждой итерации внешнего цикла. Так я всегда ...