Я новичок в Haskell и после запуска ghciпопробовал: f x = 2 * x и я получил: <interactive>:1:4: parse error on input `=' чего я не понимаю. Как ни странно, раньше это работало хорошо. Я полагаю, что неправильно сконфигурировал Haskell. Переустановка ghc6 не решает проблемы. Для информации я...
Я не очень разбираюсь в Haskell, поэтому это может быть очень простой вопрос. Какие языковые ограничения снимает Rank2Types ? Разве функции в Haskell не поддерживают полиморфные...
Аппликативы составляют, а монады - нет. Что означает приведенное выше утверждение? А когда одно предпочтительнее
В его нынешнем виде этот вопрос не подходит для нашего формата вопросов и ответов. Мы ожидаем, что ответы будут подтверждены фактами, ссылками или опытом, но этот вопрос, скорее всего, повлечет за собой дебаты, аргументы, опросы или расширенное обсуждение. Если вы считаете, что этот вопрос можно...
Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы на него можно было ответить с помощью фактов и цитат, отредактировав этот пост . Закрыт 2 года назад . Уточните этот вопрос Как произносятся эти функции в классе...
Пытаюсь включить XRankNTypesв GHCi. Как мне это
Есть ли веская причина, по которой тип Prelude.read read :: Read a => String -> a вместо возврата Maybeзначения? read :: Read a => String -> Maybe a Поскольку строка может не поддаваться синтаксическому анализу Haskell, не будет ли последнее более естественным? Или даже Either String a,...
В главе 19 Real World Haskell многие примеры теперь терпят неудачу из-за изменения Control.Exception. Это заставляет меня думать, что, возможно, некоторые из материалов в этой книге на самом деле устарели и не стоит больше изучать, в конце концов, прошло уже 6 лет. Моя единственная другая ссылка -...
Закрыто. Этот вопрос не соответствует рекомендациям по переполнению стека . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он соответствовал теме Stack Overflow. Закрыт 4 года назад . Уточните этот вопрос Существует множество функциональных идиом:...
Я не могу понять, почему m1, по-видимому, мемоизирован, а m2 отсутствует в следующем: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000 занимает около 1,5 секунд при первом вызове и небольшую часть этого времени при последующих вызовах (предположительно, он кэширует список),...
Вчера я узнал о новом инструменте Haskell под названием Stack . На первый взгляд кажется, что он выполняет ту же работу, что и Кабал. Итак, в чем разница между ними? Является ли стек заменой Кабала? В каких случаях мне следует использовать Stack вместо Cabal? Что может Стэк, чего не может Кабала?...
Недавно я обнаружил, что типовые дыры в сочетании с сопоставлением с образцом в доказательствах обеспечивают довольно приятный опыт, подобный Agda, в Haskell. Например: {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data (==) :: k -> k -> *...
Что такое класс типов Comonad в Haskell? Как и в Comonad от Control.Comonad в пакете comonad (также приветствуются объяснения любых других пакетов, которые предоставляют класс типов Comonad). Я смутно слышал о Comonad, но все, что я действительно знаю о нем, - это то, что это обеспечивает extract...
У меня есть три функции, которые находят n-й элемент списка: nthElement :: [a] -> Int -> Maybe a nthElement [] a = Nothing nthElement (x:xs) a | a <= 0 = Nothing | a == 1 = Just x | a > 1 = nthElement xs (a-1) nthElementIf :: [a] -> Int -> Maybe a nthElementIf [] a = Nothing...
В его нынешнем виде этот вопрос не подходит для нашего формата вопросов и ответов. Мы ожидаем, что ответы будут подтверждены фактами, ссылками или опытом, но этот вопрос, скорее всего, повлечет за собой дебаты, аргументы, опросы или расширенное обсуждение. Если вы считаете, что этот вопрос можно...
Решая некоторые задачи Project Euler для изучения Haskell (так что сейчас я совсем новичок), я столкнулся с проблемой 12 . Я написал это (наивное) решение: --Get Number of Divisors of n numDivs :: Integer -> Integer numDivs n = toInteger $ length [ x | x<-[2.. ((n `quot` 2)+1)], n `rem` x ==...
Алгебраические типы данных (ADT) в Haskell могут автоматически становиться экземплярами некоторых классов типов (напримерShow,Eq), производя их от них. data Maybe a = Nothing | Just a deriving (Eq, Ord) У меня вопрос: как это derivingработает, т.е. как Haskell знает, как реализовать функции...
Безопасность типов Haskell является второй никто не только к зависимому от типизированных языков. Но с Text.Printf творится какое-то глубокое волшебство, которое кажется довольно нестабильным . > printf "%d\n" 3 3 > printf "%s %f %d" "foo" 3.3 3 foo 3.3 3 В чем заключается глубокая магия...
Закрыто . Этот вопрос должен быть более конкретным . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он фокусировался только на одной проблеме, отредактировав этот пост . Закрыт 5 лет назад . Уточните этот вопрос Функциональные языки хороши тем, что...
Текущее поведение Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an equation for...