Все вопросы по тегу #haskell

1 ответ

Parsec.Expr повторный оператор префикса / постфикса не поддерживается

Документация для

6 ответов

Композиция на Haskell (.) Против оператора прямого переноса F # (|>)

В F # использование оператора pipe-forward,|>, довольно часто. Тем не менее, в Haskell я только когда-либо видел композицию функций,(.), использовался. Я понимаю что ...

2 ответа

Haskell: Правильно ли указывать версию в источнике?

Каков наилучший / правильный способ указывать версию в вашем дереве исходного кода? Я хочу, например, поместить файл VERSION на верхний уровень дерева исходных текстов и получить функцию «версия» для его чтения. В файле cabal есть раздел версии. ...

5 ответов

Каковы преимущества аппликативного разбора по сравнению с монадическим?

Кажется, существует консенсус, что вы должны использовать Parsec как аппликатив, а не как монаду. Каковы преимущества аппликативного разбора по сравнению с монадическим? стильпредставлениеабстракцияМонадический разбор?

3 ответа

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

Я ищу эффективное решение за полиномиальное время для следующей проблемы:Реализуем рекурсивную функцию узла x y для вычисления (x, y) -го числа в числовом тр...

6 ответов

Используя монады для тривиальных задач, таких как манипулирование списками?

1 ответ

Каковы подводные камни в использовании FlexibleContexts и FlexibleInstances?

Поскольку эти гибкие контексты и экземпляры недоступны в стандарте Haskell, я предполагаю, что при их использовании возможны проблемы. Кто они такие? Могут ли они привести к некоторой двусмысленности, неразрешимости, частичным совпадениям и т. ...

0 ответов

преобразование из буквального натурального

периментирую с зависимыми типами в Haskell и обнаружил следующее вбумага [http://cs.brynmawr.edu/~rae/papers/2012/singletons/paper.pdf]пакета «синглтоны»: replicate2 :: forall n a. SingI n => a -> Vec a n replicate2 a = case (sing :: Sing n) of ...

1 ответ

MonadError раздел «Все о монадах»

м теперь действительно запутался насчет монады Ошибка в которойВсе о монадах " описывает.Он утверждает, что определение ошибки монады как

1 ответ

Экземпляр MonadException не выводится

Может быть, я делаю что-то глупое здесь, но я получаю: No instance for (MonadException Ti) arising from a use of `getInputLine'в примере кода: module Foo where import System.Console.Haskeline import System.Console.Haskeline.MonadException ...