3
ответа
Конструкторы типа высшего порядка и функторы в Ocaml
Могут следующие полиморфные функции позволять идентификатору x = x;; позвольте составляют f g x = f (g x);; позвольте rec зафиксировать f = f (зафиксируйте f);; (*laziness в стороне*) быть записанным для конструкторов типов/типа или модулей/функторов? Я..
вопрос задан: 1 January 2010 03:06
3
ответа
Электронные таблицы, которые используют [закрытый] язык функционального программирования
Я хотел бы знать, существует ли там приложение для обработки электронных таблиц, которое использует существующий язык функционального программирования для определения функций. Я уже услышал о Том Преобразователя, который использует Python, но я...
вопрос задан: 23 December 2009 18:20
3
ответа
Как вы определяете 2-й (или 3-й, 4-й,…) параметр в F # или любом другом функциональном языке?
Я только начинаю с F # и вижу, как вы можете использовать карри для предварительной загрузки 1-го параметра в функцию. Но как сделать это с помощью второго, третьего или любого другого параметра? Назвал бы ...
вопрос задан: 15 December 2009 23:04
3
ответа
Действительно ли это - правило, которые не применяются, будет всегда возвращать Опцию?
Я пытался создать неприменять метод для использования в сопоставлении с образцом, и я пытался заставить его возвратить что-то другое, чем Опция, однако, Eclipse показывает это ошибкой. Действительно ли это - правило, которые не применяются, должен...
вопрос задан: 14 December 2009 20:51
3
ответа
Какой-либо пример, в котором Clojure действительно сияет против Java, который не является связанным concurrency/immutability-feature?
Я могу отлично видеть, почему Clojure действительно хорош для параллельного программирования. Я вижу преимущества FP также в этом отношении. Но ясно, не каждая строка кода, которую мы пишем, является частью потока или...
вопрос задан: 8 December 2009 05:37
3
ответа
Каково название проблемы, которая касается оптимизации закрытий в стековой системе?
Я не забываю слышать об общей проблеме оптимизации, которая имеет отношение к функциональным закрытиям, указывая, что в целом трудно оптимизировать создание закрытия с помощью только стековую память...
вопрос задан: 6 December 2009 22:43
3
ответа
Как использовать 'oneof' в quickCheck (Haskell)
Я пытаюсь записать опору, которая изменяет Судоку и затем проверяет, допустимо ли это все еще. Однако я не уверен, как использовать "oneof" - функция правильно. Можно ли дать мне некоторые подсказки?...
вопрос задан: 1 December 2009 22:08
3
ответа
Erlang (Функциональное программирование) по сравнению с Объектно-ориентированным программированием с точки зрения взглядов
Я изучаю Erlang, и я пытаюсь создать очень демонстрационную программу блога. Однако мой ум в настоящее время захватывается в мире OO (var p = новое Сообщение (); p. Заголовок =""; p. Сохраните ();). Я хотел бы...
вопрос задан: 30 November 2009 11:45
3
ответа
Как записать методы лямбды в Objective C?
Как записать методы лямбды в Objective C?
вопрос задан: 25 November 2009 10:38
3
ответа
При выборе языка функционального программирования для использования с LLVM, каковы компромиссы?
Давайте предположим в настоящий момент, что C++ не является языком функционального программирования. Если Вы хотите записать компилятор с помощью LLVM для бэкенда, и Вы хотите использовать язык функционального программирования и...
вопрос задан: 21 November 2009 00:13
3
ответа
Clojure: Как узнать арность функции во времени выполнения?
Учитывая функциональный объект или имя, как я могу определить его арность? Что-то как (func-имя арности). Я надеюсь, что существует путь, так как арность является довольно центральной в Clojure
вопрос задан: 8 November 2009 15:00
3
ответа
Функционально пересекая дерево в C#
Рассмотрите следующий дополнительный метод в c#, Пересечении: IEnumerable <T> Пересечение <T> (этот IEnumerable <T> источник, Func <T, IEnumerable <T>>...
вопрос задан: 5 November 2009 17:20
3
ответа
Вложенные циклы схемы/Lisp и рекурсия
Я пытаюсь решить проблему в Схеме, которая требует меня для использования вложенного цикла или вложенной рекурсии. например, у Меня есть два списка, которые я должен проверить условие на их Декартовом произведении. Что...
вопрос задан: 1 November 2009 23:55
3
ответа
поиск изучения осуществления: реализуйте эти монады
Когда приобретение знаний о новом программировании подвергает, я обычно следую за шаблоном: Я читал об этом, я понимаю это, и затем я кодирую несколько примеров, чтобы удостовериться, что я действительно получаю его. Я читал много о...
вопрос задан: 3 October 2009 23:04
3
ответа
Каково различие между функторами и “дженериками”
Я смотрю на функторы OCAML. Это смотрит на меня довольно идентичный так называемым родовым объектам в C++/C#/Java. Если Вы игнорируете тип Java erasion на данный момент и игнорируете детали реализации для C +...
вопрос задан: 25 September 2009 06:46
3
ответа
От OO до функционального программирования на уровне 10 000 футов
Я использовал f# и Haskell для изучения функционального программирования некоторое время теперь. Пока я не могу получить f#, утвержденный в нашей компании, я должен все еще использовать c#. Я все еще пытаюсь однако остаться в функциональном...
вопрос задан: 22 September 2009 15:19
3
ответа
Как делают я обращаюсь к станд.:: константа sin(valarray <дважды> и)?
Я испытываю затруднения из-за некоторого valarray кода указателя функции: двойной (*fp) (дважды) = грех; valarray <двойной> (*fp) (константа valarray <дважды> и) = грех; первые компиляции, второе дает:...
вопрос задан: 30 August 2009 12:26
3
ответа
Как отладка достигается на ленивом языке функционального программирования?
Я хотел бы знать, как отладка достигается на ленивом функциональном языке. Можно ли использовать точки останова, операторы печати и традиционные методы? Это - даже хорошая идея? Это - мое понимание это...
вопрос задан: 20 August 2009 11:17
3
ответа
N-королевы в Haskell без обхода списка
Я искал сеть различные решения проблемы n-королев в Haskell, но не мог найти никого, который мог проверить на небезопасные положения в O (1) время, как это, что Вы сохраняете массив для/...
вопрос задан: 20 August 2009 03:27
3
ответа
INRIA собирается добавить примитивы параллелизма к OCaml?
"Параллелизмом" я имею в виду легкие процессы как агенты Erlang, и параллельный GC имел целью заставлять такие процессы работать гладко. Было бы очень здорово, если бы INRIA избавился от тех недостатков...
вопрос задан: 19 August 2009 19:54
3
ответа
Как я комбинирую монады в Haskell?
Особенно, я должен быть в состоянии объединить монаду CGI с монадой IO, но пример того, как объединить монаду IO с, Возможно, монада, мог бы быть еще лучше...
вопрос задан: 21 July 2009 22:25
3
ответа
Вопросы о стиле кодирования схемы
Я смущен стилем Схемы для своего кода. Если я форматирую если формы как: a. если () () () или b., если () () () или c., если () () () Должен, я форматирую условные выражения как a. конусовидный ()...
вопрос задан: 5 July 2009 15:16
3
ответа
Перевод, “почему вопросы функционального программирования” в Haskell
Для культурного и духовного обогащения я решил изучить немного Haskell. Я читал Hughes, "Почему Вопросы Функционального программирования" и пытаются перевести его код в истинного Haskell...
вопрос задан: 17 June 2009 11:05
3
ответа
Как каждый использует кэшированные данные на функциональном языке, таком как Erlang?
Я читал немного в последнее время о функциональных языках. Приезжая от 10 + годы разработки OO, я нахожу трудным получить мою голову вокруг, как же можно указать на чистое функциональное...
вопрос задан: 15 June 2009 17:16
3
ответа
Самый простой пример назад продолжений в Схеме без явной мутации
Я записал маленький интерпретатор Схемы в C# и понял, что способ, которым я реализовал его, было очень легко добавить поддержку надлежащих продолжений. Таким образом, я добавил их..., но хотят "доказать" это...
вопрос задан: 11 June 2009 21:35
3
ответа
Что такое 'преобразователь', как используется в Схеме или в целом?
Я сталкиваюсь со словом 'преобразователь' в большом количестве мест в коде и документации, связанной со Схемой и подобными территориями. Я предполагаю, что это - родовое название для процедуры, которая имеет сингл...
вопрос задан: 29 May 2009 10:35
3
ответа
Отображение по подспискам в Scala
Я знаю, что функция карты берет каждый элемент списка (последовательность) и применяет функцию к нему. Рекурсивно (и без уважения к условиям завершения, и т.д.) карта (s, f) = f (s.head):: карта (s....
вопрос задан: 21 May 2009 12:51
3
ответа
Извлеките единственный элемент из списка в F#
Я хочу извлечь единственный объект из последовательности в F# или дать ошибку, если нет ни одного или больше чем одного. Что лучший способ состоит в том, чтобы сделать это? Я в настоящее время позволял элементу = данные |> (Seq.filter (...
вопрос задан: 5 May 2009 17:22
3
ответа
Функциональное программирование - стандартные символы, схемы, и т.д.
У меня есть проблема, которой я верю, чтобы быть лучше всего решенным через функциональный стиль программирования. Происходя из очень обязательной среды, я привык к проектированию программы, включающему диаграммы классов/...
вопрос задан: 5 May 2009 16:13
3
ответа
Обертывание моей головы вокруг OCaml
Я - только программист новичка (я делаю это для забавы), и я приезжаю из мира процедурных языков Python/C ++/other и процедурного стиля решения задач. Я влюбился в простоту OCAML...
вопрос задан: 14 April 2009 14:10