haskell

2зной

1ответ

Должен ли я использовать монад или конвертер mont traformer?

Я читал this question. Вот цитата из принятого ответа: Этот экземпляр был добавлен в базовой 4.3.xx, который поставляется с GHC 7. Между тем, вы можете использовать экземпляр Either непосредственно, и

haskell monad-transformers either 2014-10-14

---

0зной

1ответ

Можно ли использовать ценность из контекста оценки?

У меня есть следующий пример программы в Haskell: fun 1 = "result1" fun 2 = "result2" wrap = (\ x -> (\ _ -> fun x)) main = map wrap [1,2] , которое дает в результате [test.wrap._#lambda1._#lam

haskell 2014-10-14

---

3зной

6ответ

Point-свободный эквивалент

Я эта функция from another SO question, f :: Ord a => [a] -> [(a, Int)] f xs = zipWith (\x ys -> (x, length $ filter (< x) ys)) xs (inits xs) Я пытаюсь написать его в точке свободного стиля, f = fl

haskell pointfree 2014-10-14

---

3зной

2ответ

что я делаю для этих условий, чтобы следовать FP?

Я читаю FP и у меня есть два основных вопроса: FP говорит функция должна принимать один вход и один выход дает. Итак, что мне делать с методами void? Он ничего не возвращает? FP говорит, что функция д

function scala haskell functional-programming 2014-10-14

---

3зной

3ответ

Haskell: Смутно о типе `>> =` operator

Я работаю над некоторыми вводными материалами Haskell и в настоящее время переживаю Монады. Я концептуально понимаю, что оператор >>= имеет тип: (Monad m) => m a -> (a -> m b) -> m b. В этом контексте

haskell bind monads io-monad 2014-10-14

---

0зной

1ответ

3n + 1 реализация с Haskell, компилировать ошибку

все. Я новичок в Haskell и только что реализовал проблему с «3n + 1». Я проверил много, но ошибка типа показалась странной, не могли бы вы помочь мне найти, в чем проблема? import qualified Data.Vecto

algorithm haskell 2014-10-14

---

0зной

2ответ

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

Я хочу, чтобы определить тип данных R как рациональные числа, где R представляет собой (знаменатель, числитель) и я определил, как: data R = R {n::Int, d::Int} deriving Show Теперь я попыталс

haskell types haskell-platform 2014-10-14

---

3зной

1ответ

Сбой типа при использовании «левого» объектива из fclabels

Я сделал минимальный пример для тестирования fclabels. Использование объектива для получения «правильного» значения из любого значения. Почему это не удается? Я пропустил что-то? module Label where i

haskell lenses 2014-10-14

---

-1зной

1ответ

Haskell государственный Монада пут выражается с помощью изменения

мне нужно выразить ставить из государственного Монады с использованием его изменить функцию, однако я получаю «Не удалось вывести» ошибку на моем следующем коде: class Monad m => MonadState m s | m ->

haskell state monads 2014-10-14

---