3
ответа

Все ли функторы Хаскелла являются эндофункторами?

Я немного сбит с толку, и мне нужен кто-то, чтобы поправить меня. Давайте изложим мое текущее понимание: где E - эндофунктор, а A - некоторая категория: E: A - > A. Поскольку все типы и морфизмы в ...
вопрос задан: 9 July 2018 23:50
3
ответа

Когда это в порядке для использования IORef?

Одна вещь, которая всегда смущала меня, состоит в том, является ли это хорошо время для использования IORef. Есть ли какие-либо инструкции, которые должны сопровождаться при решении, использовать ли IORef для задачи?...
вопрос задан: 20 May 2018 12:24
3
ответа

Преобразовать Строку в Целое число/Плавание в Haskell?

данные GroceryItem = Количество Цены CartItem ItemName | Количество Цены StockItem ItemName makeGroceryItem:: Строка-> Плавание-> Интервал-> ценовое количество имени GroceryItem makeGroceryItem =...
вопрос задан: 4 March 2018 12:18
3
ответа

Локальный минимум в Haskell [дубликат]

Поэтому я написал этот код, и все работает нормально, но я хотел бы, чтобы он возвращал пустой список всякий раз, когда я помещал [2,2,2], потому что ни один из них не является локальным Minum. Также я хотел бы, чтобы он вернул первый и ...
вопрос задан: 8 February 2018 19:51
3
ответа

Причины, по которым «неопровержимый шаблон» не удалось использовать шаблону, rdquo; и что это значит?

Что означает неопровержимый шаблон для шаблона? Какие случаи вызовут эту ошибку во время выполнения?
вопрос задан: 24 December 2017 17:06
3
ответа

Learning Haskell: Seemingly Circular Program - Please help explain

I'm currently going through the book "The Haskell Road to Logic, Math, and Programming" by Doets and Van Eijck. I've never been exposed to any functional programming language until this book, so keep ...
вопрос задан: 1 November 2017 19:13
3
ответа

Возвратите определенный тип в Haskell

У меня есть довольно общий вопрос о системе типов Haskell. Я пытаюсь познакомиться с ним, и у меня есть следующая функция: getN:: Цифра => getN = 5.0:: Дважды, Когда я пытаюсь...
вопрос задан: 16 September 2017 17:24
3
ответа

Как Вы соответствуете против типа “Любому b”?

Цель для этой конкретной части кода состоит в том, чтобы сделать функцию размера более эффективной, чем простой подсчет всех элементов в elems. Я обосновался на подведении итогов двух типов, которые составляют список...
вопрос задан: 9 September 2017 23:50
3
ответа

Защищенные уравнения в Haskell

Кто-то может предоставить мне легкое для понимания объяснения защищенного уравнения, поскольку оно используется в Haskell и также его математическом смысле?
вопрос задан: 17 June 2017 12:19
3
ответа

Функциональное приложение: Почему $ используется здесь?

Только что я задал вопрос о $ и получил полезные ответы - на самом деле, я думал, что понял, как использовать его. Кажется, что я был неправ :( Этот пример обнаруживается в учебном руководстве: Монада экземпляра []...
вопрос задан: 23 May 2017 12:19
3
ответа

Простое текстовое меню в Haskell

Я хотел бы знать то, что является лучшим решением создать простое меню с функциональностью, описанной ниже (псевдо код) точно так же, как я привык к: в то время как (верный) {x = readLine (); случай (x):...
вопрос задан: 9 May 2017 01:39
3
ответа

Быстрый поиск элемента для функционального языка (Haskell)

Скажите, что мы пересекаем график и хотим быстро определить, был ли узел замечен прежде или нет. У нас есть несколько предварительных условий набора. Узлы были отмечены с целочисленными значениями 1.. N График...
вопрос задан: 23 March 2017 21:47
3
ответа

Срывание (&&) в Haskell

Быстрый вопрос, который прослушивал меня в последнее время. Haskell выполняет весь эквивалентный тест в функции, которая возвращает булевскую переменную, даже если Вы возвращаете ложное значение? Например, f b = ((a+b) ==...
вопрос задан: 13 March 2017 19:11
3
ответа

Сопоставление с образцом идентичные значения

Я просто задался вопросом, возможно ли соответствовать против тех же значений для многократно со средствами сопоставления с образцом языков функционального программирования (Haskell/F#/Caml). Просто думайте...
вопрос задан: 5 February 2017 22:22
3
ответа

Что '~' означает в Haskell?

Я изучаю mtl библиотеку и пытаюсь сделать некоторый мой собственный MonadTransformers. Я проверял Управление. Монада. Состояние. Объявление StateT, и через весь код, я вижу этот синтаксис: execStateT:: (...
вопрос задан: 2 February 2017 00:27
3
ответа

Как произвести локальную строку даты и времени в Haskell?

Я хочу произвести местное время и дату в строковой форме, такой как, например: "2009-09-28-00-44-36.896200000000"
вопрос задан: 7 January 2017 16:17
3
ответа

Как я могу увеличить размер стека с runhaskell?

Я пишу некоторые доступные сценарии Haskell для решения некоторых Euler проблем Проекта. Я действительно не хочу должным быть компилировать их из-за количества изменений, которые я должен постоянно вносить, но...
вопрос задан: 3 January 2017 18:34
3
ответа

Почему этот код Haskell производит “бесконечный тип” ошибка?

Я плохо знаком с Haskell, и направление "не может создать бесконечный тип" ошибка, которую я не могу понять. На самом деле, кроме того, я не смог найти хорошее объяснение какой эта ошибка даже...
вопрос задан: 2 September 2016 00:32
3
ответа

Любопытный на предмет проблем работы HashTable

Я считал, что хеш-таблицы в Haskell имели проблемы производительности (на Haskell-кафе в 2006 и Летающем блоге Консультирования Лягушки в 2009), и так как мне нравится Haskell, это волновало меня. Это было год назад, что...
вопрос задан: 5 June 2016 13:18
3
ответа

Как смоделировать иерархии классов в Haskell?

Я - разработчик C#. Происходя из стороны OO мира, я запускаю с размышления с точки зрения интерфейсов, классов и ввожу иерархии. Из-за отсутствия OO в Haskell иногда я нахожу меня застрявшим и я...
вопрос задан: 25 February 2016 16:47
3
ответа

Почему не оценивается? [Дубликат]

У меня есть следующий фрагмент кода: * Main Lib & gt; let myList = [1, 2, id 1] :: [Integer] * Main Lib & gt; let myList '= myList ++ undefined * Основной Lib & gt; : sprint myList 'myList' = _ Почему myList делает ...
вопрос задан: 4 February 2016 11:42
3
ответа

действительно ли возможно распечатать все сокращения Haskell - использование WinHugs?

Я записал следующую функцию.. и выполняемый WinHugs teneven использования = [x | x <-[1.. 10], даже x] Мой вывод: Основной> teneven [2,4,6,8,10]:: [Целое число] (63 сокращения, 102 ячейки)...
вопрос задан: 2 January 2016 06:37
3
ответа

Контакт с большими файлами в Haskell

У меня есть большой файл (4 + концерты), позволяет, просто говорят, 4-байтовые плавания. Я хотел бы рассматривать его как Список, в том смысле, что я хотел бы смочь использовать карту, фильтр, foldl, и т.д. Однако вместо...
вопрос задан: 22 November 2015 15:09
3
ответа

Идиоматический способ последовательности действий с эффектами в Haskell [duplicate]

У меня есть рабочий процесс, где я выполняю список команд оболочки, за которым следует одна команда оболочки, а затем следует другой список команд оболочки. Требование состоит в том, что если какая-либо из команд ...
вопрос задан: 8 October 2015 03:21
3
ответа

Как получить системное время в Haskell, использующем Данные. Время. Часы?

Мне нужен некоторый Ints для использования в качестве семени к генерации случайных чисел и таким образом, я хотел использовать старый прием использования системного времени как семя. Таким образом, я пытался использовать Данные. Пакету времени и мне удало
вопрос задан: 2 September 2015 10:37
3
ответа

Я использую звуковое эквациональное обоснование об определении фильтра с точки зрения foldr?

хорошо, это - определение функции фильтра, использующей foldr: myFilter p xs = foldr шаг [] xs, где шаг x ys | p x = x: ys | иначе = ys так, например, позволяют нам...
вопрос задан: 14 August 2015 01:28
3
ответа

Zip реализации с помощью foldr

Я в настоящее время нахожусь на главе 4 Реального мира Haskell, и я пытаюсь перенести голову вокруг реализации foldl с точки зрения foldr. (Вот их код:) myFoldl:: (-> b-> a)->-> [b]-&...
вопрос задан: 14 August 2015 00:55
3
ответа

Список Haskell поиска кортежа

У меня есть список кортежей как это: [("имя пользователя", 123), ("df", 54), ("как", 2 34)] я должен искать значение на основе имени пользователя. У меня есть поиск использования, но я должен изменить значение целого числа и.
вопрос задан: 26 May 2015 23:54
3
ответа

Существует ли способ реализовать ограничения в классах типа Haskell?

Есть ли некоторый путь (какой-либо путь) для реализации ограничений в классах типа? Как пример того, о чем я говорю, предположите, что я хочу реализовать Группу как класс типа. Таким образом, тип был бы группой если там...
вопрос задан: 29 January 2015 13:03
3
ответа

Как каждый переопределяет шоу newtype?

Я хочу переопределить целочисленных конструкторов по умолчанию в Haskell, таким образом, они производят строки (главным образом для любопытства, но временно сделать хорошую входную альтернативу для \frac Латекса {} {} неудобство). Я...
вопрос задан: 29 January 2015 02:53