Читая "Опытный интриган", я начал узнавать о letrec . Я понимаю, что он делает (можно продублировать с помощью Y-Combinator), но в книге он используется вместо повторения уже define d функции, работающей с аргументами, которые остаются...

это исходная форма: (define (split-by l p k) (let loop ((low '()) (high '()) (l l)) (cond ((null? l) (k low high)) ((p (car l)) (loop low (cons (car l) high) (cdr l)))...

Это обычное определение комбинатора с фиксированной точкой в ​​Haskell: fix :: (a -> a) -> a fix f = let x = f x in x На https://wiki.haskell.org/Prime_numbers#Linear_merging они определяют другую фиксированную точку комбинатор:...

Я хочу понять, как работают привязки let в Haskell (или, может быть, лямбда-исчисление, если реализация Haskell отличается?) Я понял из чтения Написать вам Haskell , что это действительно для одной привязки let . let x = y in e == (\x ->...