0
ответов
Haskell: путаница с собственными типами данных. Синтаксис записи и уникальные поля
Я только что обнаружил эту путаницу и хотел бы получить подтверждение того, что это так. Если, конечно, я просто что-то упустил. Скажем, у меня есть эти объявления данных: data VmInfo = VmInfo {name, ...
вопрос задан: 3 March 2017 12:49
0
ответов
В чем разница между типом и типом данных в Haskell?
Меня немного смущает разница между типом и типом данных в Haskell. Из литературы, с которой я столкнулся, у меня сложилось впечатление, что это разные концепции.
вопрос задан: 3 March 2017 00:46
0
ответов
Haskell :Как преобразовать входную строку ввода-вывода в Float (или Int или что-то еще )?
Я пытаюсь создать программу, которая принимает число с плавающей запятой, введенное пользователем с клавиатуры, и делает с ним что-то. Однако каждый раз, когда я пытаюсь разобрать введенную строку в число с плавающей запятой, я продолжаю получать...
вопрос задан: 26 February 2017 16:06
0
ответов
Последний оператор в 'do' конструкция должна быть выражением Haskell
Основываясь на других похожих вопросах, которые я обнаружил, я понял, что моя проблема связана с отступами, но я много возился с этим и до сих пор не могу понять. addBook = do putStrLn "Введите заголовок...
вопрос задан: 26 February 2017 15:13
0
ответов
Что означает символ => в Haskell?
Я новичок в Haskell и, в целом, в функциональном программировании, и мне немного не по себе от его синтаксиса. В следующем коде что обозначает символ =>? А также (Num a, Ord a)? loop :: (Num a, ...
вопрос задан: 25 February 2017 18:06
0
ответов
Использование карты для замены элементов списка на (x-y)*(x-y), где y — начальный элемент
Мне нужно сделать небольшую домашнюю работу и Я полный новичок в Haskell. Вопрос, с которым у меня возникли проблемы, заключается в том, чтобы написать функцию, которая при задании целого числа x и списка целых чисел применяется (x-y)*(x-y)...
вопрос задан: 22 February 2017 18:41
0
ответов
Как сделать callCC более динамичным?
Я думал, что правильным типом для ContT должен быть newtype ContT ma = ContT {runContT :: forall r. (A -> mr) -> mr} и другие операторы управления shift :: Monad m => (forall r. (A -> ContT m ...
вопрос задан: 21 February 2017 19:52
0
ответов
Haskell: FRP Reactive Parsec?
Есть ли (или есть) возможно ли иметь) реактивный Parsec (или любой другой чисто функциональный парсер) в Haskell? Проще говоря, я хочу кормить синтаксический анализатор char за char и получать результаты столько, сколько я накормил ...
вопрос задан: 20 February 2017 18:33
0
ответов
Таблицы истинности анонимных функций в Haskell
Я пытаюсь сгенерировать таблицу истинности для заданного логического выражения. Я мог бы сделать это, создав новый Datatype BoolExpr, но я хочу сделать это с помощью анонимной функции. Это должно работать как ...
вопрос задан: 17 February 2017 19:11
0
ответов
Haskell: генерировать и заполнять список списков
Я должен сделать игровую доску на Хаскелле, взяв 2 входа, указывая высоту и ширину доски. Доска должна быть в формате [[Int]], и все пробелы должны быть заполнены ...
вопрос задан: 8 February 2017 18:59
0
ответов
конфигурационный файл ghci
Я использую ghci 6.8.2 на Ubuntu. ghci использует конфигурационный файл, где мы можем сделать некоторую начальную настройку?. Например:: подсказка набора "ghci>".
вопрос задан: 2 February 2017 04:23
0
ответов
Haskell: проверьте, является ли целое число, или проверьте тип переменной
Итак, допустим, у вас есть переменная n. Вы хотите проверить, является ли это целым числом, или еще лучше проверить, какой это тип. Я знаю, что в haskell есть функция isDigit, которая проверяет, является ли это символом. ...
вопрос задан: 29 January 2017 12:50
0
ответов
Чем стоит сложность Iteratees?
Во-первых, я достаточно хорошо понимаю, как работают итерации, и, вероятно, смог бы написать упрощенную реализацию с ошибками, не обращаясь к уже существующим. Что я действительно хотел бы знать, так это ...
вопрос задан: 25 January 2017 22:27
0
ответов
Haskell: Отформатируйте число запятыми
Есть ли библиотечная функция для помещения запятых в числа с помощью Haskell? Мне нужна функция, которая работала бы примерно так: format 1000000 = "1,000,000"
format 1045.31 = "1,045.31" но я не могу показаться ...
вопрос задан: 7 January 2017 04:43
0
ответов
Почему GHC не выдает предупреждение во время компиляции для исключения «Нет совпадений в селекторе записей»?
Когда я запускаю этот ошибочный код... data Person = Adult { pName :: String} | Kid { pName :: String , pAge :: Int } производное Show getAge :: Person -&...
вопрос задан: 5 January 2017 06:18
0
ответов
Почему я не могу определить Haskell Экземпляр Arrow с точки зрения arr и *** / &&&
Я все еще пытаюсь определить и использовать стрелки в Haskell.При определении новых стрелок мне намного проще думать в терминах *** или &&&, а не в терминах первого и второго, поскольку ...
вопрос задан: 2 January 2017 23:14
0
ответов
Стрелка и Монада, две независимые точки зрения для составления вычислений?
Я читал "Классопедию типов" Брента Йорги в Monad.Reader # 13 и обнаружил, что " "иерархия функторов" взаимозависима от "иерархии категорий", как показано на рисунке 1. И согласно ...
вопрос задан: 2 January 2017 23:13
0
ответов
Реализация перегрузки функций в Haskell
Я работаю над проблемой написания кода на Haskell, аналогичного программе на C++. Код на C++ выглядит так: class Rectangle
{ private: int length; int width; public: Rectangle() ...
вопрос задан: 2 January 2017 19:07
0
ответов
составление floor и sqrt на хаскеле
Я просто изучаю хаскелл (самостоятельно, ради развлечения) и наткнулся на стену. Мой вопрос: Как я могу определить функцию flrt = (floor. sqrt) Когда я пробую ее в файле и компилирую, GCHi жалуется ...
вопрос задан: 31 December 2016 14:15
0
ответов
Haskell: Как протестировать (реактивный) FSM с помощью quickcheck?
Я написал модуль конечного автомата состояния для небольшой футбольной игры, над которой сейчас работаю. Он предоставляет интерфейс для настройки FSM (в основном его состояний и переходов). Для каждого состояния вы можете ...
вопрос задан: 25 December 2016 22:58
0
ответов
Haskell: списки и потоки
Я заметил, что потоки во многом похожи на списки, за исключением добавления с постоянным временем. Конечно, добавление постоянного времени к спискам не так уж сложно, и DList делает именно это. Предположим...
вопрос задан: 23 December 2016 04:20
0
ответов
Противоречивое поведение лямбда-функций
Используя следующие определения: lenDigits n = длина (показать n) факториал n = product [1..n] Я оцениваю следующую прелюдию> ((lenDigits. Factorial) 199) <= 199 False Prelude> (\ i -> .. ,
вопрос задан: 8 December 2016 16:37
0
ответов
Какие библиотеки JS подходят для разработчиков игр? (HTML5)
Если я решу написать простую игру, текстовую и графическую (2d), какие библиотеки я могу использовать? Предполагая, что мы используем браузер, совместимый с HTML5. Что я могу думать о рендеринге текста на экране
...
вопрос задан: 8 December 2016 13:16
0
ответов
Haskell: списки, массивы, векторы, последовательности
Я изучаю Haskell и прочитал пару статей о различиях в производительности списков Haskell и (вставьте свой язык)' с массивы. Будучи учеником, я, очевидно, просто использую списки, даже не...
вопрос задан: 8 December 2016 02:48
0
ответов
Каков наилучший способ управления ресурсами в стеке монад, например, кроме IO?
К счастью или к несчастью, популярная библиотека Servant на Haskell стала обычным делом для выполнения кода в стеке монадных преобразователей с использованием ExceptT err IO. Собственная монада обработчика слуги - ExceptT ServantErr ...
вопрос задан: 23 November 2016 15:34
0
ответов
Как работает монада ST?
Я понимаю, что монада ST - это что-то вроде младшего брата IO, который, в свою очередь, является государственной монадой с добавленной магией RealWorld. Я могу изобразить состояния, и я могу представить, что RealWorld каким-то образом ...
вопрос задан: 21 November 2016 04:38
0
ответов
Есть ли лучший способ написать метод "строка содержит X"?
Только что начал использовать Haskell и понял (насколько я могу судить), что нет прямого способа проверить строку, чтобы узнать, содержит ли она меньшую строку. Поэтому я решил попробовать. По сути ...
вопрос задан: 12 November 2016 18:30
0
ответов
GHC-мод должен использовать полные имена для типов?
Я пытаюсь использовать плагин vim ghc-mod для проверки типа / синтаксиса и т. Д. Однако я обнаружил, что ghc-mod всегда использует полные пути типов в сообщениях об ошибках, например: test.hs | 71 col 13 error | ...
вопрос задан: 6 November 2016 20:43
0
ответов
Частичное приложение слева направо
Я начал с haskell вчера и все еще полностью потерялся на берегу этого дивного нового мира. Теперь я столкнулся со следующей проблемой: Предположим, у меня есть какая-то функция, которая творит чудеса ...
вопрос задан: 5 November 2016 22:14
0
ответов
Как использовать библиотеку диаграмм с рисунками GTK?
Я пытаюсь научиться рисовать диаграммы, используя библиотеку диаграмм и бэкэнд Cairo/GTK. У меня появляется пустое окно, но мой рисунок не отображается. Что я делаю не так? модуль Главный...
вопрос задан: 17 October 2016 00:02