haskell

2зной

2ответ

неприятности установка Haskell на макинтош

Итак, я хотел научиться Haskell и мысль о настройке мой макинтош (Mavericks) за тот же .. я скачал пакет из: https://www.haskell.org/platform/mac.html , но когда я пытаюсь запустить ghci я получаю это

1зной

2ответ

Получение datakind признано в GADT

Я не уверен, что так я хочу, чтобы мой дизайн действительно выглядел, но есть ли способ получить мой GADT, чтобы увидеть, что аргумент mt должен иметь вид MarketType, потому что он является аргументом

0зной

1ответ

определения «монады, которая подсчитывает Гец, Кладет, Bind и возвращает сделанные на нем

Я пытаюсь определить государственное казенное монады» государства в Haskell newtype State' s a = State' { runState' :: (s, Counts) -> (a, s, Counts) } Графы отслеживает количество привязок, возвраща

0зной

1ответ

Элегантный способ написать шаблоны

я нашел себя писать такого рода вещи: myFnc (MyDataType0 x y z) = someFunction0 (MyDataType0 x y z) myFnc (MyDataType1 x y) = someFunction1 (MyDataType1 x y) ... т.е. мне нужно сопоставление с обр

1зной

1ответ

Как использовать постоянный в стек монады?

Мне нравится изучать Haskell, и я думаю, что делаю хороший прогресс с помощью людей здесь и в #haskell. Мое обучение в основном по-прежнему находится в точке, где я смотрю примеры и стараюсь абстрагир

10зной

2ответ

Что означает «⊥» в «Монархии строгости» из статьи П. Вадлера?

Может кто-нибудь помочь мне понять следующее определение из бумаги Вадлера под названием «Comprehending Monads»? (Выдержка из раздела 3.2/страница 9, то есть «Строгость Монада» подраздел.) Иногда необ

0зной

2ответ

Как преобразовать тип данных в MonadState

У меня есть эти типы: data Tree a = Branch (Tree a) a (Tree a) | Leaf deriving (Eq, Ord, Show) newtype State' s a = State' { runState' :: (s, Counts) -> (a, s, Counts) } С этих случаях: insta