0
ответов
Реализация карты функций c ++
Я играл с вариативными шаблонами в новом стандарте c ++ и придумал функцию сопоставления (заголовки + с использованием decs исключены): template
T square (T i)
{return i ...
вопрос задан: 22 November 2011 23:51
0
ответов
Ленивая оценка и путаница с побочными эффектами ввода-вывода
Этот код (взят из Learn You A Haskell): main = do putStr "Эй," putStr "Я" putStrLn " Энди!" очевидно, desugars to main = putStr "Hey," >> = ...
вопрос задан: 22 November 2011 11:18
0
ответов
Что такое монада в ФП, в категориальных терминах?
Каждый раз, когда кто-то обещает «объяснить монады», мой интерес возбуждается, но на смену ему приходит разочарование, когда предполагаемое «объяснение» - это длинный список примеров, заканчивающийся каким-то небрежным замечанием ...
вопрос задан: 21 November 2011 16:44
0
ответов
Реализация повторов с помощью MonadPrompt
Вдохновленный
приключенческой игрой Брента Йорги,
я писал небольшую текстовую приключенческую игру (а-ля Zork), в которой используется {{1} } Библиотека MonadPrompt
. Было довольно просто использовать его для разделения ...
вопрос задан: 20 November 2011 20:46
0
ответов
Презентация Clojure для начинающих?
Мне нужно сделать презентацию о языке Clojure для начинающих. . Каковы ваши предложения по выбору тем? Какие пункты мне нужно включить? Примечание. Под новичками я имею в виду, что ...
вопрос задан: 20 November 2011 14:28
0
ответов
Добавление элемента в коллекцию с помощью LINQ
Я пытаюсь обработать некоторый список с помощью функциональный подход в C #. Идея состоит в том, что у меня есть коллекция Tuple , и я хочу изменить пункт 2 некоторого элемента T. Функциональный способ ...
вопрос задан: 18 November 2011 09:42
0
ответов
Как лучше всего обрабатывать это преобразование последовательности в Clojure?
Я новичок в Clojure, и я недавно перевел некоторые работы по манипулированию данными, которые я сделал, чтобы помочь в обучении. У меня есть перевод функций, который работает нормально, и он короче, но кажется намного менее ...
вопрос задан: 17 November 2011 12:38
0
ответов
Равны ли алгебраические типы данных в Haskell дискриминируемым объединениям в F #?
Я изучаю Haskell и хотел бы знать, являются ли конструкции, известные в Haskell, как алгебраические типы данных те же, что различают объединения в F #, или есть некоторые тонкие различия между ...
вопрос задан: 16 November 2011 06:52
0
ответов
существуют ли статически типизированные функциональные языки?
это трудно для Google, может быть, так есть лучшие ответы? Я исхожу из статически типизированного фона и изучаю функциональное программирование, но меня не совсем волнует динамическая типизация. ...
вопрос задан: 16 November 2011 05:53
0
ответов
структуры для представления обработки данных в виде конвейера
Большую часть обработки данных можно представить как конвейер компонентов, выход одного поступает на вход другого. Типичный конвейер обработки: читатель | обработчик | писатель Как фольга для ...
вопрос задан: 15 November 2011 20:55
0
ответов
Анонимные и неанонимные функции Lua
Я изучаю Lua и натолкнулся на концепцию анонимных функций. Это интересно, но мне было интересно, какое дополнительное преимущество он дает перед неанонимными функциями. Итак, если у меня есть ...
вопрос задан: 15 November 2011 19:38
0
ответов
Подсчет прерванных транзакций в Clojure
Я хотел бы проанализировать поведение программы Clojure по сравнению с блокирующей версией в C. Одна метрика, которую я хотел бы отслеживать, - это общее количество прерванных транзакций для моей программы Clojure. Единственное ...
вопрос задан: 14 November 2011 17:06
0
ответов
Какая польза от логических операторов без короткого замыкания в Erlang?
Я изучаю Erlang из веб-книги LearnYouSomeErlang. Одна вещь, которая поразила меня во время обучения, - это не замыкающие логические операторы конъюнкции и дизъюнкции, а именно; и и или. Что такое ...
вопрос задан: 11 November 2011 07:04
0
ответов
Преобразование Option [T] в Option [U] в Scala
Предположим, у нас есть Option [String], и если там есть Some (строка), мы хотим превратить ее в Int в .toInt. Я бы сделал следующее: val foo: Option [String] = Some ("5")
val baz: Option [Int] ...
вопрос задан: 10 November 2011 22:04
0
ответов
F# WinRT Benefits
Не желая создавать открытый вопрос....
F# в настоящее время отсутствует в предварительной версии Windows 8. В WinRT есть слой отображения, который оборачивает объекты ядра в объекты CLR для C# / VB или ...
вопрос задан: 7 November 2011 07:11
0
ответов
Рекомендуется ли реализация временных рядов с использованием функционального программирования (F #)?
Я разрабатываю проект на .NET, часть которого я буду управлять временем серии. Поскольку основная часть проекта была реализована на C #, я набросал объектно-ориентированный дизайн ...
вопрос задан: 6 November 2011 18:27
0
ответов
Удаление синтаксического сахара: понимание списка в Haskell
Могу ли я исключить понимание списка в этом выражении: [(i, j) | i <- [1..4], j <- [i + 1..4]] Это результат: [(1,2), (1,3), (1,4), (2,3 ), (2,4), (3,4)] Как я могу с помощью карты, фильтра и т. Д., ...
вопрос задан: 6 November 2011 17:57
0
ответов
Каковы реальные преимущества неизменяемых коллекций?
Scala предоставляет неизменяемые коллекции, такие как Set, List, Map. Я понимаю, что неизменность имеет преимущества в параллельных программах. Однако каковы именно преимущества неизменяемости в ...
вопрос задан: 4 November 2011 22:12
0
ответов
Haskell map / sortBy / findIndex и т. Д. Для массивов вместо списков
Я вижу, что можно вместо этого написать такие функции, как map / sortBy / findIndex и некоторые другие функции, связанные со списками (по крайней мере, те, которые проиндексированы целые числа.) Сделано ли это где-нибудь в ...
вопрос задан: 4 November 2011 13:52
0
ответов
Существует ли операция scala list, которая создает кортежи из списков?
Я пытаюсь обработать триплеты в списке. В обязательном порядке я мог бы сделать это: for (i = 1; i
вопрос задан: 4 November 2011 04:22
0
ответов
Построение иерархии классов в Coq?
Я могу наивно построить иерархию алгебраических структур в Coq, используя классы типов. У меня проблемы с поиском ресурсов по синтаксису и семантике Coq для классов типов. Однако я считаю, что ...
вопрос задан: 3 November 2011 04:41
0
ответов
Динамическое программирование на F #
Каков самый элегантный способ реализации алгоритмов динамического программирования, которые решают проблемы с перекрывающимися подзадачами? В императивном программировании обычно создается индексированный массив (по крайней мере ...
вопрос задан: 2 November 2011 20:13
0
ответов
Измените if- else-construct в более функциональном стиле?
можно ли изменить эту конструкцию if-else в более функциональном стиле Scala? def getMIMEType (document: String): String = {if (document.endsWith (". pdf")) {return "application / pdf"} ...
вопрос задан: 2 November 2011 16:09
0
ответов
лямбда в python
Я пересматриваю некоторые упражнения схемы в python (если это имеет смысл), чтобы узнать, что python может делать с точки зрения FP. Моя проблема касается лямбда-выражения в python:
Могу ли я определить общую функцию в python ...
вопрос задан: 2 November 2011 00:20
0
ответов
Имена ADT. Что такое «Left a», а затем «a» в Haskell?
Если у меня есть ADT Haskell, например: data Foo = A Int Double | B Bool [Целое число] | C (Maybe String) Float A, B и C называются конструкторами данных; а иногда и как конструкторы значений. Но ...
вопрос задан: 1 November 2011 21:05
0
ответов
Уравнение из «Жемчужины программирования» - может кто-нибудь объяснить мне?
Это ощущение как будто я застрял, друзья мои. Может кто-нибудь объяснить мне выбрать уравнения из «Жемчужины проектирования функциональных алгоритмов», глава 11 («Не максимальная сумма сегментов»). Вот в чем проблема (немного ...
вопрос задан: 1 November 2011 14:37
0
ответов
Почему мой алгоритм Sieve работает так медленно в Scala?
Я пытаюсь реализовать Sieve of Eratosthenes, используя списки и фильтры, а не массивы и циклы. Я не уверен, почему следующее работает значительно хуже, чем императивный эквивалент. 1 ...
вопрос задан: 27 October 2011 17:56
0
ответов
Как смешать явно несовместимые парадигмы: ООП и ФП? [closed]
Перечитывая часть моего кода Scala, я заметил, что он либо функциональный, либо объектно-ориентированный. В самом деле, я понятия не имею, как согласовать правило отсутствия побочных эффектов, подразумеваемое неизменяемыми типами и чистыми ...
вопрос задан: 27 October 2011 15:32
0
ответов
При использовании классов типов, как обращаться с объектом по-разному?
Предположим, у меня есть класс типов Graph[G,V], который утверждает, что объект типа G также является графом с вершинами типа V. Теперь у меня есть имплицит, который позволяет мне обращаться с множеством пар типа A как с графом с ....
вопрос задан: 25 October 2011 13:05
0
ответов
Пятизначные простые числа в сетке 5x5
| --- | --- | --- | --- | --- |
| 1 | 1 | 3 | 5 | 1 |
| --- | --- | --- | --- | --- |
| 3 | 3 | 2 | 0 | 3 |
| --- | --- | --- | --- | --- |
| 3 | 0 | 3 | 2 | 3 |
| --- | --- | --- | --- | --- |
| 1 | 4 | 0 | 3 | 3 |
| --- | --- | --- | --- | --- |
| ...
вопрос задан: 22 October 2011 07:32