Сейчас я пытаюсь освоить Erlang. Это первый функциональный язык программирования, который я изучил, и я заметил, что в Erlang каждое задание, которое вы выполняете, является отдельным заданием. И, видимо,...
Я пытаюсь реализовать Functor fmap поверх Data.Map.Map, но получаю сообщение об ошибке. Я уверен, что мне не нужно преобразовывать карту в список и обратно, чтобы это заработало, но это...
Я только что узнал из другого вопроса, что Haskell называется каррированным языком программирования, потому что он по умолчанию применяет каррирование функций. Какие другие языки отображают такое поведение?
Я пытаюсь использовать shapeless для простого накопления объектов безопасным способом. Проблема в том, что я хочу объединить (:::) два HList. Я столкнулся с проблемой новичка (по крайней мере, кажется). Он пропускает...
В качестве практики я пытаюсь написать симуляцию для игры в казино "Война" на Haskell. http://en.wikipedia.org/wiki/Casino_war Это очень простая игра с несколькими правилами. В противном случае это было бы очень...
Я пишу приложение Scala/Play 2.0 и хочу, чтобы мой код возвращал разные страницы в зависимости от запроса. Вот мой код: // Проверка клиента и возврат временных учетных данных
def requestToken = ...
У меня есть следующая функция высшего порядка: public static Func Not< T>(Func otherFunc)
{ return arg => !otherFunc(arg);
} И пытаюсь назвать это так: ...
Я балуюсь функциональными языками и обнаружил, что некоторые алгоритмы (особенно те, которые используют динамическое программирование) труднее писать, а иногда и менее эффективны в худшем случае времени выполнения. Есть ли ...
В университете меня учили формальным системам, но я был разочарован тем, что они, казалось, не использовались в настоящем слове. Мне нравится идея знать, что какой-то код (объект, функция, ...
Я экспериментировал с динамическим программированием на Haskell. Практически в каждом руководстве по этому предмету, которое я видел, приводится один и тот же очень элегантный алгоритм, основанный на запоминании и лени...
Из «Программирования на Scala» (второе издание ), внизу стр.98: Сбалансированное отношение к Scala-программистам. Предпочитайте валы, неизменяемые объекты и методы без побочных эффектов. Достигните ...
Раскрытие информации Это «общий» вопрос, возможно, без конкретного ответа, но он не предназначен для флейма. Мне бы очень хотелось получить некоторую информацию, прежде чем приступить к моему проекту. Я должен...
Существует ли стандартный способ логического объединения предикатов в F#?
Например, предположим, что у меня есть isCar x и isBlue x, тогда я хочу что-то, что даст мне: let isBlueCar x = isCar x && isBlue x ...
Предположим, у меня есть тип VS[A] = Validation[String, A] val v: VS[Option[A]]
val f: A => VS[B] Я хочу получить результат типа VS[Option[B]], но если v имеет значение Success(None), результат также должен быть ...
Я не понимаю, как развернуть список/последовательность/массив в список аргументов переменной длины. Учитывая, что у меня есть функция test_func, принимающая кортежи: scala> def test_func(t:Tuple2[String,String]*) = println("...
У меня есть массив изображений, которые я хочу перебирать бесконечно, т.е. 1, 2, 3, 1, 2, 3... Сначала я пытался сделать это с помощью следующего кода: var images = [ "/images/image1.jpg", "/images/...
Начав со Scala и читая о Либо, я, естественно, сравниваю новые концепции с чем-то, что я знаю (в данном случае из Java). Есть ли отличия от концепции проверенных исключений и Либо?...
Я столкнулся с этим предложением в Scala, объясняя его функциональное поведение. Работа программы должна отображать входные значения в выходные значения, а не изменять данные на месте. Может ли кто-нибудь...
Может ли кто-нибудь ясно объяснить это на каком-нибудь хорошем примере. Я наткнулся на это утверждение в Scala, при объяснении функционального программирования.
Следующее не работает по понятным причинам. (defprotocol Monoid (mappend [ab]) (mzero [])) mzero имеет нулевые аргументы, а методы с нулевыми аргументами не разрешены (или не имеют смысла) в ...
Я разрабатываю DSL в Clojure, который используется для управления генератором кода (, в данном случае для процедурного синтеза изображений -clisk ), и у меня возникли проблемы с поиском наилучшего представления для промежуточного...
Я новичок в Haskell, и я читаю о функторах и аппликативных функторах. Хорошо, я понимаю функторы и как я могу их использовать, но я не понимаю, почему аппликативные функторы полезны и как я могу ...
Я видел множество ссылок на теорему Черча-Россера и, в частности, на диаграмму свойств ромба, изучая функциональное программирование, но я не наткнулся на хороший пример кода. Если...
Я разрабатываю структуру мультиагентной системы (MAS) для описания агентов убеждений-желаний-намерений (BDI) в Haskell (т. е. агенты являются параллельными, обменивающимися монадическими действиями). Я искал в Интернете...
Что такое одноуровневая функция выравнивания последовательности в Clojure? Сейчас я использую apply concat, но мне интересно, есть ли для этого встроенная функция либо в стандартной библиотеке, либо в clojure-contrib.
Я ищу функциональную структуру данных, которая представляет конечные биекции между двумя типами, эффективную по пространству и времени. Например, я был бы счастлив, если бы, рассматривая биекцию f...
Согласно статье в Википедии о побочном эффекте, возбуждение исключения представляет собой побочный эффект. Рассмотрим эту простую функцию Python: def foo(arg): если не arg: поднять ValueError('arg ...
Кто-нибудь написал официальную статью, описывающую метод (автоматического) преобразования функций в хвостовую рекурсию? Я ищу формальную обработку университетского уровня, включая ограничения (типы...
Как проверить, имеет ли массив объектов ключевое значение, используя подчеркивание. Пример: var objects = [ {id:1, name:'foo'}, {id:2, name:'bar'}
] check(objects, {name: foo}) // true Думаю, так и должно быть ...
Иногда мне кажется удобным в Clojure определять версии функций с уменьшенной арностью, которые возвращают частичную функцию, например (defn prefix ([pre string] (str pre ":" string)) ([pre] ...