3
ответа
Стиль передачи продолжения Ocaml
Я плохо знаком с ocaml и пытающийся записать продолжение, передающее функцию стиля, но вполне перепутал то, что оценивает, я должен передать в дополнительный аргумент k, например, я могу записать рекурсивную функцию это...
вопрос задан: 1 June 2013 02:49
2
ответа
Что такое точно административный redexes после преобразования CPS?
В контексте Схемы и преобразования CPS, я испытываю немного затруднений при решении, каковы административные redexes (лямбды) точно: все лямбда-выражения, которые представлены CPS...
вопрос задан: 1 June 2013 03:00
0
ответов
The Little Schemer evens-only*&co
Мне трудно понять, что происходит с примером Evens-only*&co из Little Schemer на странице 145. Вот код: (define evens-only*&co (lambda (l col) (cond ((null?...
вопрос задан: 20 January 2018 15:36
0
ответов
Объясните пример продолжения на стр.137 в The Little Schemer
. Рассматриваемый код следующий: (определить multirember & co (lambda (a lat col) (cond ((null? lat) (col (quote ()) (quote ()))) ((eq? (car lat) a) (multirember & co a ...
вопрос задан: 20 January 2018 14:52
0
ответов
Продолжения и для понимания - в чем несовместимость?
Я новичок в Scala и пытаюсь осмыслить продолжения
Я пытаюсь воспроизвести оператор yield return C #. После этого поста я написал следующий код: package com.company ....
вопрос задан: 23 May 2017 12:28
0
ответов
Отличается ли стиль передачи продолжения от пайпа?
Я узнал о стиле передачи продолжения, особенно об асинхронной версии, реализованной в javascript, где функция принимает другую функцию в качестве последнего аргумента и создает...
вопрос задан: 23 May 2017 11:56
0
ответов
Почему стиль передачи продолжения
В разделе 3.4 "Язык программирования Scheme" Кента Дыбвига (4-е издание) он очень четко описывает, что такое стиль передачи продолжения. Для чего он приводит две причины: передавать более одного ...
вопрос задан: 15 October 2013 16:26
0
ответов
Преобразовать в CPS (стиль передачи продолжения)
Как преобразовать эти процедуры из схемы в форму CPS? (лямбда (xy) ((xx) y)) (lambda (x) (lambda (f) (f (lambda (y) (((xx) f) y)))) ((lambda (x) (xx) (lambda (x) (xx)) * ...
вопрос задан: 1 June 2013 02:59
0
ответов
Почему в стандартной библиотеке OCaml так много не-хвостовых -рекурсивных функций?
В последнее время я переписывал многие функции стандартной библиотеки OCaml, чтобы они стали хвостовыми -рекурсивными. Учитывая, что это повлекло за собой прямое -прямое преобразование CPS, я не понимаю, почему по умолчанию...
вопрос задан: 1 June 2013 02:57
0
ответов
Продолжения Scala: много изменений в последовательности
Я пытался осмыслить сложные проблемы типизации с продолжениями scala. Я прочитал весь материал, который смог найти на нем, включая справочную документацию по продолжениям ...
вопрос задан: 1 June 2013 02:56
0
ответов
стиль передачи продолжения и монады
В чем разница между стилем передачи продолжения (cps) и монадами.
вопрос задан: 1 June 2013 02:52
0
ответов
Слушатели событий с продолжениями Scala
Предположим, мне нужно написать какой-нибудь код графического интерфейса, как показано ниже: widget1.addListener (event1 => handle1 (event1) widget2.addListener (event2 => handle2 (event2) widget3.addListener ( event3 => handle3 (...
вопрос задан: 1 June 2013 02:50
0
ответов
CPS в каррированных языках
Каким образом CPS в каррированных языках, таких как лямбда-исчисление или Ocaml, вообще имеет смысл? Технически все функции имеют один аргумент. Допустим, у нас есть CPS-версия сложения на одном из таких языков: cps-add k ...
вопрос задан: 1 June 2013 02:49
0
ответов
Использование совместных подпрограмм Lua в реальном мире / continue serialization для упрощения асинхронной логики?
Библиотека Pluto для Lua утверждает, что может сериализовать совместные подпрограммы Lua. Я интерпретирую это как «сериализуемые продолжения», что является важной функцией для создания асинхронного программирования ...
вопрос задан: 8 March 2011 15:27
0
ответов
Стиль передачи продолжения в схеме?
Я наткнулся на этот код в Википедии: (define (pyth xyk) (* xx (lambda (x2) (* yy (lambda) (y2) (+ x2 y2 (lambda (x2py2) (sqrt x2py2 k)))))))) Статья ...
вопрос задан: 20 February 2011 18:46
0
ответов
Как можно реализовать новую функцию async в C # 5.0 с помощью call / cc?
Я следил за новым объявлением о новой функции async, которая будет в C # 5.0. У меня есть базовое понимание стиля прохождения продолжения и преобразования нового C # ...
вопрос задан: 2 November 2010 09:52
0
ответов
Можно ли реализовать сопрограммы, используя только примитивы LISP?
Во-первых, я новичок в LISP. То, что я хочу получить, это совместная функция микропоточности. И это может быть достигнуто с сопрограммой. Как я знаю, Scheme поддерживает сопрограммы через продолжения. Однако не ...
вопрос задан: 10 August 2010 05:01