Результаты поиска по запросу "haskell"
Как заменить подстроку строки на другую в Haskell без использования внешних библиотек, таких как MissingH?
Я хотел бы заменить подстроку строкой в Haskell, без использования внешних библиотек, и, если это возможно, с хорошей производительностью. Я думал об ...
Проблема с DataKinds
Я создал очень простой пример проблемы, с которой я сталкиваюсь, используя GADT и DataKinds. Мое реальное приложение, очевидно, более сложное, но оно четко отражает суть моей ситуации. Я пытаюсь создать функцию, которая может возвращать любое из ...
Haskell складывает плохую производительность с (++)
У меня есть этот код: import Data.,List newList_bad lst = foldl' (\acc x -> acc ++ [x*2]) [] lst newList_good lst = foldl' (\acc x -> x*2 : acc) [] lstЭти функции возвращают списки с каждым элементом, умноженным на 2: *Main> newList_bad [1..10] ...
Структурная индукция в Хаскеле
Является ли следующее определение структурной индукции? foldr f a (xs::ys) = foldr f (foldr f a ys) xsМожет кто-нибудь привести пример структурной индукции в Хаскеле?
Haskell Не удалось сопоставить ожидаемый тип 'String' с фактическим типом 'Char'
Мне интересно, почему я получаю эту ошибку. Это для назначения, где я должен конвертировать из целого числа в шестнадцатеричное значение. Я вызываю эту вспомогательную функцию преобразования, когда я изменяю целочисленное значение16, ...
Нахождение индекса элемента в списке в Haskell?
У меня есть функция вHaskell [http://en.wikipedia.org/wiki/Haskell_(programming_language)]который находит максимальное значение возведения в степень из списка: prob99 = maximum $ map (\xs -> (head xs)^(head (tail xs))) numbersМне нужно найти ...
Почему в Хаскеле нет неявного параллелизма?
Haskell является функциональным и чистым, поэтому в основном он обладает всеми свойствами, необходимыми для работы компилятора.неявный параллелизм [http://en.wikipedia.org/wiki/Implicit_parallelism]. Рассмотрим этот тривиальный пример: f = do a ...
Почему все классы типов Haskell имеют законы?
Все классы типов вTypeclassopedia [http://www.haskell.org/haskellwiki/Typeclassopedia]имеют связанные законы, такие как ассоциативность или коммутативность для определенных операторов. Определение «закона» кажется ограничением, которое не может ...
Получите Eq и Show для псевдонима типа в Haskell
У меня есть следующий псевдоним типа data Bindable = Const Value | Variable Location | Func Function | Proc deriving (Eq, Show) type Function = Argument -> Store -> Valueно компилятор выдает ошибку No instance for (Show Function) arising from ...
Как я могу понять "(.) . (.)»?
Я верю я понимаюfmap . fmap для Функторов, но на функциях это болит голова в течение нескольких месяцев. Я видел, что вы можете просто применить определение(.) в(.) . (.), но я забыл, как это сделать. Когда я сам пробую, то всегда получается ...