2
ответа

Haskell: Как <*> объявлен? [закрытый]

Как делают Вы объявляете эти функции в Применимом typeclass: (<*>):: f (-> b)-> f-> f b (*>):: f-> f b-> f b (<*):: f-> f b-> f (Таким образом...
вопрос задан: 15 February 2018 10:20
2
ответа

Работа по возврату из, Возможно, который содержит “Просто”

У меня есть функция, которая имеет тип возврата, Возможно ([(Интервал, Интервал)], (Интервал, Интервал)), я хотел бы назвать это от другой функции и выполнить операцию на данных. Однако возвращаемое значение содержится...
вопрос задан: 3 February 2018 19:33
2
ответа

Откуда приходит «[] и где он объявлен? [Дубликат]

Глядя на код примера из freer-simple {- # LANGUAGE GADTs # -} {- # LANGUAGE FlexibleContexts # -} {- # ЯЗЫК TypeOperators # -} {- # LANGUAGE DataKinds # -} {- # LANGUAGE LambdaCase # -} модуль ...
вопрос задан: 1 July 2017 20:08
2
ответа

Синтаксис Haskell для case-выражения в действительно блокируется

Я не могу вполне выяснить, что эта проблема синтаксиса с case-выражением в действительно блокируется. Каков правильный синтаксис? Если бы Вы могли бы исправить мой пример и объяснить это, который был бы лучшим. Основной модуль...
вопрос задан: 11 June 2017 14:14
2
ответа

Как Вы используете Управление. Применимый, чтобы записать инструменту для очистки Haskell?

В недавнем ответе на вопрос о стиле я записал основной = untilM (isCorrect 42) ('liftM' getLine чтения) и isCorrect цифровое предположение =, случай сравнивает цифровое предположение EQ-> putStrLn "Вы Победа!">>...
вопрос задан: 23 May 2017 12:25
2
ответа

Предотвращение явной рекурсии в Haskell

Следующая простая функция применяет данную одноместную функцию многократно, пока она не поражает Ничто, в которой точке она возвращает последнее, которое неничто не оценивает. Это делает то, в чем я нуждаюсь, и я понимаю как это...
вопрос задан: 23 May 2017 12:02
2
ответа

ST Monad == запах кода?

Я работаю над реализацией алгоритма UCT в Haskell, который требует большого количества манипуляций с данными. Не вдаваясь в подробности, это алгоритм моделирования, в котором на каждом «шаге» ...
вопрос задан: 23 May 2017 12:00
2
ответа

Haskell: вывод типа и композиция функций

Этот вопрос был вдохновлен этим ответом на другой вопрос, указав, что можно удалить каждое возникновение элемента из списка с помощью функции, определяемой как: removeall = фильтр. (/=)...
вопрос задан: 23 May 2017 11:50
2
ответа

Haskell к F# - объявляет рекурсивные типы в f#

Я пытаюсь преподавать мой сам F# путем портирования некоторого Кода Haskell. Specifily я пытаюсь портировать проблему Countdown, показанную здесь Код Haskell, перечислен здесь, я пытаюсь создать следующее...
вопрос задан: 23 May 2017 11:45
2
ответа

Как улучшить производительность этого числового вычисления в Haskell?

Я посреди портирования исходной C реализации David Blei Скрытого распределения Дирихле Haskell, и я пытаюсь решить, оставить ли часть материала низкого уровня в C. Следующее...
вопрос задан: 23 May 2017 10:27
2
ответа

Математическая производительность Haskell на умножается - добавляет операция

Я пишу игру в Haskell, и моя текущая передача в UI включает большое процедурное поколение геометрии. Я в настоящее время фокусируюсь на идентификации выполнения одной конкретной операции (C-выход...
вопрос задан: 23 May 2017 10:27
2
ответа

Почему есть & ldquo; данные & rdquo; и & ldquo; newtype & rdquo; в Хаскеле? [Дубликат]

Кажется, что определение нового типа - это просто определение данных, которое подчиняется некоторым ограничениям (например, только один конструктор), и что из-за этих ограничений система времени выполнения может обрабатывать новые типы подробнее ...
вопрос задан: 16 April 2017 00:37
2
ответа

Что такое общая идиома для преобразования между Целочисленными типами?

Я хочу преобразовать между различными целочисленными типами; например, Word32 и Word8. Что идиоматический путь состоит в том, чтобы сделать это в Haskell? Word8-> преобразование Word32 может всегда успешно выполняться. Word32-> Word8...
вопрос задан: 12 April 2017 12:51
2
ответа

Как получить значение указателя в Haskell?

Я хочу управлять данными по очень низкому уровню. Поэтому у меня есть функция, которая получает адрес виртуальной памяти, поскольку целое число и "действительно наполняет" этим адресом памяти. Я соединил интерфейсом с этой функцией...
вопрос задан: 7 April 2017 13:09
2
ответа

Сохранение графиков в Haskell

Я могу легко определить тип данных для узла ориентированного графа. узел данных = Строка Узла [Узел] derving (Шоу, Чтение) я могу сохранить график в файл с помощью выставочной функции, затем восстановить его с помощью чтения...
вопрос задан: 28 March 2017 19:16
2
ответа

Введите классы в типах данных Haskell

В Haskell можно определить тип данных как так: данные Point1 = Point1 {x:: Целое число, y:: Целое число} можно использовать классы типа для переменных в типе данных? Раз так, как? Я понимаю, что это...
вопрос задан: 3 March 2017 00:35
2
ответа

Как импортировать .hs файл в Haskell

Я сделал файл названным time.hs. Это содержит единственную функцию, которая измеряет время выполнения другая функция. Существует ли способ импортировать time.hs файл в другой сценарий Haskell? Я хочу...
вопрос задан: 3 January 2017 23:42
2
ответа

Как называется «const 'в haskell prelude?

, глядя через haskell prelude, я вижу функцию const: const x _ = x я не могу казаться найти что-то отношение к этой функции. В чем смысл? Может кто-нибудь привести пример того, где это ...
вопрос задан: 13 June 2016 16:57
2
ответа

Haskell Setter / over с несколькими целями? [Дубликат]

Есть ли способ объединить линзы, чтобы я мог применять функцию над a и b в приведенной ниже структуре, но не c? import Control.Lens hiding (element) data SomeInts = SomeInts {_a :: Int, _b :: ...
вопрос задан: 10 April 2016 07:44
2
ответа

LLVM по сравнению с C —; как LLVM не может существенно быть лучше для Haskell, чем C-?

Я был взволнован LLVM, являющимся достаточно низким для моделирования любой системы, и рассматривал его как обещающий, что Apple принимала его; но с другой стороны Apple конкретно не поддерживает Haskell; И, некоторые думают это...
вопрос задан: 6 March 2016 18:01
2
ответа

Haskell (:) и (++) различия

Я сожалею о вопросе как это. Я не слишком уверен в различии: и ++ оператор в Haskell. x:y: [] = [x, y] также [x] ++ [y] = [x, y] что касается обратной функции, которая возникла...
вопрос задан: 10 January 2016 10:21
2
ответа

Как можно было бы обменяться данными между родительским и разветвленным дочерним процессом в Haskell?

Как я даже пошел бы о разветвлении дочернего процесса с помощью Haskell во-первых? Кроме того, если каналы являются очевидным решением вопроса о совместном использовании данных - там любой другой способ сделать это помимо использования...
вопрос задан: 23 October 2015 18:21
2
ответа

Haskell, проблемное типизированное связывание в простой функции идентификации [duplicate]

У меня возникла очень странная ошибка при компиляции с GHC. Это включает в себя функцию f. f :: a - & gt; a f x = x :: a GHC жалуется, что x имеет тип выражения a1, который не соответствует a. Я делаю ...
вопрос задан: 11 October 2015 15:20
2
ответа

Ошибки переполнения экземпляров [дубликат]

Поэтому я пытаюсь создать пользовательский тип данных с именами переменных полей в aJSONinstance. Следующий фрагмент кода является минимальным примером, который будет воспроизводить экземпляры Overlapping для FromJSON [...
вопрос задан: 14 August 2015 15:00
2
ответа

Есть ли еще один возможный экземпляр-функтор данного типа [duplicate]

У меня такое ощущение, что для любого ADT существует только один возможный экземпляр Functor. Поскольку функция (a - & gt; b) для fmap имеет только один тип, с которым можно работать, и он всегда меняет все ...
вопрос задан: 3 August 2015 20:32
2
ответа

простая ошибка реализации дерева монады [дубликат]

Рассмотрим следующий фрагмент кода - модуля Main, где данные MyTree a = MyLeaf a | MyNode (MyTree a) (MyTree a), выводящий (Show) экземпляр Monad MyTree, где return = ...
вопрос задан: 27 July 2015 15:29
2
ответа

Высший сорт типа на typeclass? [Дубликат]

Чтобы узнать, если тип - это более высокий тип ghci, укажите: Prelude & gt; : k Возможно Может быть :: * - & gt; * И попытался на typeclass, как: Prelude & gt; : k Functor Functor :: (* - & gt; *) - & gt; Ограничение ...
вопрос задан: 11 July 2015 00:11
2
ответа

Как вывести 2-мерный список в Haskell? [Дубликат]

Я хочу вывести этот 2D-список с разрывом строки. Я пробовал некоторые методы, но они, похоже, не работают. Пожалуйста, помогите мне. Спасибо Мой код: list = [['', '', '*', '', '', '', '', '', '', '*', '', '', '' .. ,
вопрос задан: 17 March 2015 01:15
2
ответа

Именование "чистой" функции в Control .Applicative [closed]

Почему функция для поднятия значения в функтор с именем pure в Control.Applicative?
вопрос задан: 6 March 2015 17:17
2
ответа

Euler проблема в Haskell — может кто-то определять мою ошибку

Я пробую силы в Euler проблеме 4 в Haskell. Это просит который самый большой палиндром, сформированный путем умножения двух трехзначных чисел. Проблема была достаточно проста, и я думал, что мой Haskell-fu бодрствовал...
вопрос задан: 22 January 2015 17:45