Предположим, у меня есть тип Pair: data Pair a = Pair a a Как правильно написать для него экземпляр...

Функция lines в Haskell разделяет строки строки в список строк: lines :: String -> [String]...

Рассмотрим следующую сигнатуру модуля: module Test {a b} (A : Set a) (B : Set b) where Это...

Я действительно очень стараюсь понять callCC. Я получаю силу от Continuations и использую концепцию...

Прав ли я, предполагая, что Java- Optional не имеет особых задач с C ++ 17- optional? Я знаю Javas...

Я пытаюсь узнать, как работают операторы в haskell. Я пытаюсь создать очень простую программу, в...

У меня есть массив таких монад [Left("a"), Left("b"), Left("c")] Я...

Как мне написать обобщенную функцию run, которая принимает объект какого-либо монадного...

У меня есть три определения одной и той же функции: prompt :: String -> IO String prompt =...

Я пытаюсь реализовать вставку сортировки в Haskell на Data.Array.ST, с функцией монадического...

Я пытаюсь написать unwrap метод класса, который содержит значение, или его экземпляр с внутренним...

Я ожидаю следующий фрагмент кода: main = do let !x = [2,3,5,2,3,5,6,7,1,3,0,1] begin <-...

Я изучаю State Monad, и мне сказали, что его больше не существует, первый вопрос: почему Haskell...

Я смотрю онлайн-курс на Haskell, глава для чтения монада. Инструктор приводит следующий пример: эта...

Я хочу обернуть свои ошибки в скаляр EitherT. Я написал этот тип, чтобы я мог все там обернуть и...

Я читаю книгу Грэма Хаттона о Хаскелле, и не знаю, как выполнить одну часть упражнения. Упражнение...

В настоящее время я изучаю функциональное программирование, и, конечно же, я хочу реализовать то,...

Вот небольшая игрушка DSL в набранном без тега окончательном стиле (см. Типизированные...

У меня есть определитель вычислений, который действует на MArray и производит скаляр в той же...

В C # я могу включить монадическую композицию в запросе Linq для пользовательского типа, реализовав...

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

Рассмотрим этот пример: {-# language ApplicativeDo #-} module X where data Tuple a b = Tuple a b...

Я недавно начал изучать Haskell, и я пытался выполнить следующую композицию функций (join . mapM),...

Я работаю над проблемой в викибуке на haskell и полностью застрял. Они просят «Обобщить пример...

Следующий код не работает: gcd' :: Int -> Int -> Writer String Int gcd' a b | b ==...