0
ответов

Правильный способ обработки глобальных флагов в Haskell

Мне часто нужно сделать основную функцию, которая используется во многих местах, каким-то образом настраиваемой -, т. е. она может использовать либо алгоритм A, либо алгоритм B в зависимости от команды -линейный переключатель; или заставить его печатать д
вопрос задан: 28 November 2018 16:37
0
ответов

Разница между `data` и` newtype` в Haskell

В чем разница, когда я это пишу? data Book = Book Int Int по сравнению с newtype Book = Book (Int, Int) - «Book Int Int» синтаксически неверен
вопрос задан: 26 November 2018 23:55
0
ответов

Как написать эту функцию в бессмысленном стиле?

Как переписать следующую функцию в стиле без точек, полностью удалив параметр x из определения (два других могут остаться): между min max x = (min
вопрос задан: 21 November 2018 16:22
0
ответов

Проблема создания нового типа данных в Haskell [закрыто]

Я пытаюсь создать новый тип данных в Haskell, который имеет в основном те же элементы, что и тип Int, с некоторыми другими. Я сделал это так: данные Ново = -2147483648 | -2147483647 | ... | -1 | 0 | 1 | 2 | ... | ...
вопрос задан: 19 November 2018 21:29
0
ответов

Как разбить строку в Haskell?

Есть ли стандартный способ разбить строку в Haskell? строки и слова прекрасно работают от разделения на пробел или новую строку, но наверняка есть стандартный способ разделения на запятую? Я не мог найти это на ...
вопрос задан: 19 November 2018 01:43
0
ответов

Порядок параметров для использования каррирования

Недавно я дважды реорганизовал код, чтобы изменить порядок параметров, потому что было слишком много кода, где хаки вроде flip или \ x -> foo bar x 42 происходили. При разработке ...
вопрос задан: 11 November 2018 12:28
0
ответов

Почему Haskell 'head' вылетает из-за пустого списка (или почему * не * возвращает пустой список)? (Философия языка)

Примечание для других потенциальных участников: пожалуйста, не стесняйтесь использовать абстрактные или математические обозначения, чтобы выразить свою точку зрения. Если я найду ваш ответ неясным, я попрошу разъяснений, но в остальном чувствую ...
вопрос задан: 9 November 2018 17:28
0
ответов

Loop with StateT: Why this loop does not loop

Я не понимаю, почему этот код делает цикл только один раз, а потом выходит? В Ghci я могу ответить только на первый цикл, затем кажется, что переменная cont установлена в false и у меня нет запроса на ответ. The ...
вопрос задан: 8 November 2018 12:55
0
ответов

Монады не с «flatMap», а «flatUnit»? [закрыто]

Монады в теории категорий определяются тройками T, unit, flat⟩. класс Monad t, где map :: (a -> b) -> (t a -> t b) - единица действия функтора :: a -> t a flat :: t (t a) -> t a ...
вопрос задан: 26 October 2018 04:11
0
ответов

Где я могу прочитать о haskell & ldquo; - > & rdquo; оператор?

Я хотел бы прочитать больше о haskell's - > оператор. Я не совсем понимаю, насколько сильно стирается грань между специальным синтаксисом и чем-то вроде класса типов, и я хотел бы немного поэкспериментировать. ...
вопрос задан: 24 October 2018 22:42
0
ответов

Поддерживает ли Haskell объектно-ориентированное программирование

Поддерживает ли он такие концепции, как разделение объявления и реализации (интерфейсы и классы в Java)? Как насчет ограничения доступа (например, модификаторов доступа в Java)?
вопрос задан: 28 September 2018 13:45
0
ответов

Как отправить исполняемый файл с Language.Haskell.Interpreter?

Я надеялся встроить интерпретатор Haskell, используя подсказку, чтобы я мог написать плагины на Haskell для использования с моей программой. Я не хочу отправлять всю платформу Haskell для моих исполняемых файлов. ...
вопрос задан: 1 September 2018 15:56
0
ответов

Офлайн-документация Haskell?

Каковы возможности, если таковые имеются, для получения офлайн-документации для основных библиотек Haskell (и, возможно, большего количества)? Иногда я беру свой ноутбук в кофейню, где нет Wi-Fi, и было бы неплохо ...
вопрос задан: 13 August 2018 22:58
0
ответов

Функтор предназначен для (a -> b) -> (fa -> fb), что для (Категория c) => cab -> c (fa) (fb)?

Я хотел бы иметь функцию для отображения чистой функции на контейнер или для последовательного выполнения аппликативного / монадического действия через него . Для чистого сопоставления у нас есть fmap :: Functor f => (a -> b) - & ...
вопрос задан: 9 July 2018 23:50
0
ответов

Генерировать случайное целое число в диапазоне в Haskell без начальное число

Как я могу сгенерировать случайное число в Haskell из диапазона (a, b) без использования начального числа? Функция должна возвращать Int, а не IO Int. У меня есть функция X, которая принимает и Int и другие ...
вопрос задан: 30 June 2018 16:49
0
ответов

Как я могу получить n-й элемент из списка?

Как я могу получить доступ к списку по индексу в Haskell, аналогично этому коду C ? int a [] = {34, 45, 56}; return a [1];
вопрос задан: 27 June 2018 12:54
0
ответов

В Haskell (+) — это функция, ((+) 2) — это функция, ((+) 2 3) — это 5. Что именно там происходит?

Как это возможно, что там происходит? Есть ли для этого название? Какие другие языки имеют такое же поведение? Любой без сильной системы набора текста?
вопрос задан: 21 June 2018 01:27
0
ответов

Как запустить файл haskell в интерпретируемом режиме

Мне сказали, что вы можете интерпретировать файлы haskell (что, как я предполагаю, означает, что они будут работать как Ruby / Python / Perl). Однако не могу найти параметр командной строки на ghc для этого. Он всегда хочет скомпилировать мои ...
вопрос задан: 19 June 2018 16:25
0
ответов

Что такое призмы?

Я пытаюсь добиться более глубокого понимания библиотеки линз, поэтому я стараюсь играть с типами, которые она предлагает. У меня уже был некоторый опыт работы с линзами, и я знаю, насколько они мощные и удобные. ...
вопрос задан: 19 June 2018 10:50
0
ответов

& ldquo; Какую часть Хиндли-Мильнера вы не понимаете? & rdquo;

Клянусь, раньше продавалась футболка с бессмертными словами: какую часть ты не понимаешь? В моем случае ответ будет ... все это! В частности, я часто вижу обозначения, как ...
вопрос задан: 4 June 2018 13:38
0
ответов

Как может существовать функция времени в функциональном программировании?

Я должен признать, что я не знаю много о функциональном программировании. Я читал об этом здесь и там, и поэтому узнал, что в функциональном программировании функция возвращает один и тот же вывод для того же ...
вопрос задан: 3 June 2018 03:56
0
ответов

Программирование без блокировок на Haskell

Кто-нибудь знает, возможно ли программирование без блокировок на Haskell? Меня интересует как вопрос о том, доступны ли соответствующие низкоуровневые примитивы, так и (если они есть) какие-либо ...
вопрос задан: 20 May 2018 13:42
0
ответов

Haskell - монада IO / ST с двойной индивидуальностью?

У меня есть код, который в настоящее время использует монаду ST для оценки. Мне нравится не помещать ввод-вывод повсюду, потому что метод runST дает чистый результат и указывает, что такой результат можно безопасно вызывать (в отличие от ...
вопрос задан: 20 May 2018 13:39
0
ответов

Haskell:Руководство по параллельной структуре данных

Я пытался понять принцип параллелизма и понять, что лучше, одна большая блокировка IORef или множество TVar. Я пришел к следующим рекомендациям, комментарии будут...
вопрос задан: 20 May 2018 13:37
0
ответов

Показать для типов ввода-вывода

У меня есть тип данных, который содержит IORef в качестве важного элемента . Это означает, что нет чистого способа сделать его членом класса типа шоу. Это не так уж плохо, поскольку у меня есть функция печати в ...
вопрос задан: 20 May 2018 13:34
0
ответов

Избегание IORefs в чистом виде код

Я заметил, что Data.UnionFind использует монаду IO для предоставления указателей через IORefs.Я думаю, что все с радостью вызывают unsafePerformIO при локальном использовании в чистом коде, так как структура данных настолько хороша...
вопрос задан: 20 May 2018 13:25
0
ответов

При совместном использовании IORef, безопасно ли читать с помощью readIORef, пока я пишу с помощью atomicModifyIORef?

Если я разделяю IORef между несколькими потоками и использую atomicModifyIORef для записи в него: atomicModifyIORef ref (\ _ -> (new, ())) Безопасно ли читать значение с помощью простого старого readIORef? Или есть ...
вопрос задан: 20 May 2018 12:49
0
ответов

В чем разница между IORef и MVar?

У меня небольшие проблемы с пониманием основной разницы между типом IORef и типом MVar в Haskell . Может ли кто-нибудь мне с этим помочь? Кажется, они решают одну и ту же проблему. Кажется, что MVar ...
вопрос задан: 20 May 2018 12:38
0
ответов

Разница между состоянием, ST, IORef и MVar

Я работаю над «Напишите себе схему за 48 часов» (я примерно до 85 часов), и я дошел до части о добавлении переменных и присвоений. В этой главе произошел большой концептуальный скачок, и ...
вопрос задан: 20 May 2018 12:25
0
ответов

Список кортежей Haskell в список?

Можно ли преобразовать список кортежей [( Int, Int)] как общий способ, применимый для любого размера ввода? .. Я видел в различных вопросах, что это невозможно в общем случае: type X = [(Int, Int) ...
вопрос задан: 8 May 2018 17:12