Все вопросы по тегу #haskell
Композиция на Haskell (.) Против оператора прямого переноса F # (|>)
В F # использование оператора pipe-forward,|>, довольно часто. Тем не менее, в Haskell я только когда-либо видел композицию функций,(.), использовался. Я понимаю что ...
Haskell: Правильно ли указывать версию в источнике?
Каков наилучший / правильный способ указывать версию в вашем дереве исходного кода? Я хочу, например, поместить файл VERSION на верхний уровень дерева исходных текстов и получить функцию «версия» для его чтения. В файле cabal есть раздел версии. ...
Каковы преимущества аппликативного разбора по сравнению с монадическим?
Кажется, существует консенсус, что вы должны использовать Parsec как аппликатив, а не как монаду. Каковы преимущества аппликативного разбора по сравнению с монадическим? стильпредставлениеабстракцияМонадический разбор?
Попытка создать эффективный алгоритм для функции в Haskell
Я ищу эффективное решение за полиномиальное время для следующей проблемы:Реализуем рекурсивную функцию узла x y для вычисления (x, y) -го числа в числовом тр...
Каковы подводные камни в использовании FlexibleContexts и FlexibleInstances?
Поскольку эти гибкие контексты и экземпляры недоступны в стандарте Haskell, я предполагаю, что при их использовании возможны проблемы. Кто они такие? Могут ли они привести к некоторой двусмысленности, неразрешимости, частичным совпадениям и т. ...
преобразование из буквального натурального
периментирую с зависимыми типами в 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 ...
MonadError раздел «Все о монадах»
м теперь действительно запутался насчет монады Ошибка в которойВсе о монадах " описывает.Он утверждает, что определение ошибки монады как
Экземпляр MonadException не выводится
Может быть, я делаю что-то глупое здесь, но я получаю: No instance for (MonadException Ti) arising from a use of `getInputLine'в примере кода: module Foo where import System.Console.Haskeline import System.Console.Haskeline.MonadException ...