10
ответов
Как полезный знает лямбда-исчисление? [закрытый]
Всем людям, которые знают лямбда-исчисление: Какое преимущество это купило Вас, относительно программирования? Вы рекомендовали бы, чтобы люди изучили это?
вопрос задан: 25 June 2013 18:52
7
ответов
Что такое call/cc?
Я пытался несколько раз схватить понятие продолжений и call/cc. Каждая попытка была отказом. Может кто-то объяснять меня эти понятия, идеально с более реалистическими примерами, чем...
вопрос задан: 5 March 2009 09:34
5
ответов
Каковы некоторые ресурсы для изучения Лямбда-исчисления? [закрытый]
Таким образом, статья в Википедии о Лямбда-исчислении была интересна, но я закончил его. Я хочу погрузиться немного глубже и получить лучшее понимание Лямбда-исчисления. Может любой рекомендовать что они...
вопрос задан: 15 March 2010 05:06
4
ответа
Сходимость математики и языков программирования
Кажется, что существует сильное перемещение за сходимость математики и языков программирования, это особенно свидетельствуется влиянием лямбда-исчисления на современных языках...
вопрос задан: 19 October 2009 14:33
3
ответа
Запрос на булевских переменных в лямбда-исчислении
Это - представление лямбда-исчисления для операции И: лямбда (m) .lambda (n) .lambda (a) .lambda (b). m (n b) b кто-либо может помочь мне в понимании этого представления?
вопрос задан: 19 February 2013 10:32
2
ответа
Церковная цифра для дополнения
Я застреваю в следующем шаге. Будет замечательно, если кто-то может выручить меня: 2 = λfx.f (f x) 3 = λfx.f (f (f x)) ADD = λm n f x. m f (n f x) Мои шаги: (λm n f x. m f (n f x)) (λf x.f (f (f x)...
вопрос задан: 25 October 2017 12:08
2
ответа
Этапы сокращения функции-предшественника лямбда-исчисления
Я застрял в описании в Википедии функции-предшественника в лямбда-исчислении. Википедия говорит следующее: PRED: = λnfx.n (λgh.h (gf)) (λu.x) (λu.u) Может кто-нибудь ...
вопрос задан: 9 January 2012 14:51
2
ответа
Церковные Цифры: как закодировать нуль в лямбда-исчислении?
Я изучаю лямбда-исчисление, но я, может казаться, не понимаю кодирование для номера 0. как "функция, которая берет в функции и втором значении и применяет функциональные нулевые времена на...
вопрос задан: 28 October 2010 17:51
2
ответа
Сокращение Лямбда-исчисления
Все, Ниже являются лямбда-выражением, которое я нахожу трудным уменьшить, т.е. Я не могу понять, как пойти об этой проблеме. (λm λn λa λb. m (n b) b) (λ f x. x) (λ f x. f x) Это...
вопрос задан: 29 July 2010 12:45
1
ответ
Лямбда-исчисление и церковный беспорядок цифр
Я пытаюсь понять основы церковных цифр и лямбда-исчисления. Я делал большое чтение и осуществление, но я, кажется, продолжаю застревать с попыткой видеть как некоторые функции...
вопрос задан: 22 February 2018 10:35
1
ответ
Как записать пустому списку с помощью S, K и мне combinators?
Я знаю что: (недостатки [p] [q]), ((s ((s i) (k [p]))) (k [q])) (автомобиль [LST]) ([LST] k) (CDR [LST]) ([LST] (k i)), я хочу написать список как это (недостатки (недостатки [b] (недостатки [c] [ноль]))), который...
вопрос задан: 14 August 2009 11:14
0
ответов
& ldquo; Какую часть Хиндли-Мильнера вы не понимаете? & rdquo;
Клянусь, раньше продавалась футболка с бессмертными словами: какую часть ты не понимаешь? В моем случае ответ будет ... все это! В частности, я часто вижу обозначения, как ...
вопрос задан: 4 June 2018 13:38
0
ответов
Как работает «Стрим» в java8?
Я спрашиваю о причине или принципе. Я обнаружил, что большинство методов интерфейса «Поток» в Java8 не объявлены как «по умолчанию», поэтому они не имеют тела метода. Например: boolean anyMatch (...
вопрос задан: 25 August 2017 09:20
0
ответов
Комбинатор S в Erlang
Я начинаю изучать лямбда-исчисление, и мне нужно реализовать комбинаторы I, S, K в Erlang. {{1} } Конечно, S, K, I означает: S = λxyz.xz (yz) K = λxy.x I = λx.x У меня нет проблем с пониманием I = SKK ...
вопрос задан: 8 June 2017 18:09
0
ответов
Можно ли построить сравнительно быструю машину нетипизированного лямбда-исчисления?
Чистое нетипизированное лямбда-исчисление - мощная концепция. Однако создание машины или интерпретатора для реального использования часто описывается как (почти) невозможное. Я хочу исследовать это. Это ...
вопрос задан: 23 May 2017 12:34
0
ответов
Функциональный язык для нетипизированного лямбда-исчисления
Есть ли интерпретатор (или компилятор) для нетипизированного лямбда-исчисления? (Согласно этой теме это возможно.) Я понимаю, что от него будет мало пользы в качестве языка программирования, особенно если будет много ...
вопрос задан: 23 May 2017 12:02
0
ответов
Вызов / применение лямбда-выражения по сравнению с вызовом функции - синтаксис в Ruby отличается. Почему?
Я новичок в Ruby и все еще пытаюсь понять некоторые принципы языкового дизайна. ЕСЛИ Я все понял, вызов лямбда-выражения в Ruby должен заключаться в квадратные скобки, в то время как «обычный» ...
вопрос задан: 3 August 2015 16:34
0
ответов
Поверните первый аргумент функции, чтобы он стал n-м
Для функции с как минимум n аргументов, я хочу повернуть первый аргумент, чтобы он стал n-м аргументом. Например (в нетипизированном лямбда-исчислении): r (λa. a) = λa. а
r (λa. ...
вопрос задан: 11 March 2015 16:57
0
ответов
Как использовать контекст именования для поиска индексов де Брейна свободных переменных?
В разделе 6.1.2 «Типы и языки программирования» говорится о контексте именования, используемом для нумерации свободных переменных в лямбда-выражениях. Используя примерную схему, которую они предоставили, как λx.xb, так и λx ....
вопрос задан: 6 December 2014 23:33
0
ответов
Арифметика с церковными числами
Я работаю через SICP, и проблема 2.6 поставила меня в затруднительное положение. Имея дело с числами Чёрча, концепция кодирования нуля и 1 как произвольных функций, удовлетворяющих определенным ...
вопрос задан: 14 May 2014 12:17
0
ответов
Предварительные условия для изучения лямбда-исчисления
Кто-нибудь может сказать мне, какие предварительные условия необходимые условия для изучения лямбда-исчисления (если есть)?
вопрос задан: 7 October 2013 10:50
0
ответов
Синтаксическое дерево для лямбда-исчисления
Я пытаюсь понять, как нарисовать синтаксическое дерево для приведенного ниже выражения. Во-первых, как именно это себя ведет? Похоже, он принимает 1 и 2 в качестве параметров, и если n равно 0, он просто вернет...
вопрос задан: 2 August 2013 13:40
0
ответов
Повторное использование лямбда-функции в Haskell
Я должен использовать этот код: fxyz = x ^ 3 - g (x + g (y - gz) + g (z ^ 2)), где gx = 2 * x ^ 2 + 10 * x + 1 И перепишем без where (или let). Они хотят написать его с помощью лямбда-функции (\ x -> ...
вопрос задан: 18 September 2012 03:15
0
ответов
Списки церквей в Haskell
Мне пришлось реализовать функцию отображения haskell для работы со списками церквей, которые определяются следующим образом: type Churchlist tu = (t->u->u)->u->u In lambda В лямбда-исчислении списки кодируются как ...
вопрос задан: 16 September 2012 22:29
0
ответов
Что подразумевается под & ldquo; заменами, избегающими захвата & rdquo ;?
Читая Лямбда-исчисление в вики, наткнулся на термин «избегание захвата». Может кто-нибудь объяснить, что это значит, поскольку я нигде не смог найти определение. Спасибо PS ...
вопрос задан: 28 June 2012 23:16
0
ответов
Как найти оптимальный порядок обработки?
У меня интересный вопрос, но я не уверен, как именно его сформулировать... Рассмотрим лямбда-исчисление. Для данного лямбда-выражения существует несколько возможных порядков приведения. Но некоторые из...
вопрос задан: 4 June 2012 13:21
0
ответов
Пример теоремы Черча-Россера на языке функционального программирования
Я видел множество ссылок на теорему Черча-Россера и, в частности, на диаграмму свойств ромба, изучая функциональное программирование, но я не наткнулся на хороший пример кода. Если...
вопрос задан: 23 May 2012 22:56
0
ответов
Являются ли неявные параметры проблемой для встраивания в GHC?
Меня интересуют возражения против неявных параметров, обсуждаемые в статье Киселёва и Шана в Functional Pearl :Неявные конфигурации. Неправильно встроенный код (β -уменьшить )в...
вопрос задан: 28 April 2012 12:23
0
ответов
Что делает этот комбинатор: s (sk)
Теперь я понимаю сигнатуру типа s (sk): s (sk) :: ((t1 -> t2) -> t1) -> (t1 - > t2) -> t1 И я могу создать примеры, которые работают без ошибок в инструменте Haskell WinGHCi: ...
вопрос задан: 25 March 2012 16:16
0
ответов
Сигнатура типа комбинатора не соответствует сигнатуре типа эквивалентной ему лямбда-функции
Рассмотрите этот комбинатор: S (SK) Примените его к аргументам XY: S ( SK) XY Он сокращается до: XYI преобразовал S (SK) в соответствующие термины Lambda и получил следующий результат: (\xy -> xy) I ...
вопрос задан: 6 March 2012 21:28