combinators

5зной

2ответ

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

3зной

2ответ

определить форму как имя функции?

Я хотел бы знать, что означает этот код на схеме: (define ((K x) y) x) (define (((S x) y) z) ((x z) (y z))) Весь файл here. Эта законная схема? Является ли (K x) параметризованной функцией, ч

6зной

1ответ

Является ли это реализацией комбинатора исправлений?

Я предположил, что это нельзя назвать «рекурсией с фиксированной точкой», потому что это было слишком просто. Тем не менее, я недавно понял, что это действительно так. Действительно ли я реализовал ре

2зной

1ответ

В чем разница между комбинатором и функцией более высокого порядка?

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

29зной

2ответ

Обсуждение Y combinator в «The Little Schemer»

Итак, я потратил много времени на чтение и повторное чтение финала главы 9 в The Little Schemer, где аппликативный комбинатор Y разработан для функции length , Я думаю, что моя путаница сводится к одн

5зной

1ответ

Двухслойный комбинатор "Y-style". Это распространено? Имеет ли это официальное название?

Я изучал, как языки, запрещающие использование-до-def и не имеющие изменяемых ячеек (нет set! или setq), тем не менее могут обеспечить рекурсию. Я, конечно, побежал через Y Combinator и друзей, наприм

2зной

1ответ

Как заставить функцию Parsec chainl1 следовать правилам приоритета операторов

Я программирую стандартную математическую нотацию ->DC POSIX-совместимый формат конвертер. Он берет входную строку, анализирует ее в промежуточный тип данных и затем превращает ее в выходную строку на