Как преобразовать эти процедуры из схемы в форму CPS? (lambda (x y) ((x x) y)) (lambda (x) (lambda (f) (f (lambda (y) (((x x) f) y)))) ((lambda (x) (x x) (lambda (x) (x x)) *Это не домашнее задание!

В последнее время я переписывал многие функции стандартной библиотеки OCaml, чтобы они были хвостовыми рекурсивными. Учитывая, что это повлекло за собой прямое преобразование CPS, я не понимаю, почему версии по умолчанию не написаны таким образом....

Предположим, у нас есть монада, определяемая return , (>>=) и набором законов. Есть тип данных newtype C m a = C { unC ∷ forall r. (a → m r) → m r } также известный как Codensity . C m a ≅ m a учитывая, что m является Monad ,...

Я работаю с SICP, и упражнение 2.29-b дало мне возможность повеселиться со стилем передачи продолжений при обходе мобильных и ответвлений. Короче говоря, у каждого мобильного телефона есть левая и правая ветви, которые состоят из длины и либо...

EDIT : этот мой вопрос оказался довольно некорректным. Я все еще верю, что, особенно просматривая комментарии, это может дать некоторую пищу для размышлений, но если будет набрано достаточно голосов, чтобы закрыть его, я пойму. Во время...

Я пытаюсь написать интерпретатор для простого языка программирования на схеме. Прямо сейчас я пишу процедуру для обработки циклов while с операторами break. Чтобы решить эту проблему, я использую call/cc. Когда язык разобран, это выглядит так:...

У меня сложилось впечатление, что каждое значение типа a может быть описано с помощью полиморфного типа newtype Id a = Id {runId :: forall r. (a -> r) -> r } ранга 2 в стиле передачи продолжения. Поэтому я получил следующий тип, чтобы...

Рассмотрим этот тип Vect : {-# LANGUAGE GADTs, DataKinds, KindSignatures, RankNTypes #-} import Data.Kind (Type) data Nat = Zero | Succ Nat data Vect :: Nat -> Type -> Type where Nil :: Vect 'Zero a Cons :: a -> Vect n a ->...

Я использовал многомерный массив из базы данных, чтобы вернуть строку ($ dataTotal) и еще одну, чтобы вернуть позицию в этой строке ($ data ['position1']), в зависимости от того, хочу ли я отобразить что-либо в массиве. на той первой странице Когда...