Результаты поиска по запросу "haskell"
Типобезопасное умножение матриц
После многословного обсуждения вНапишите это умножение Scala Matrix в Haskell [https://stackoverflow.com/questions/8327032/write-this-scala-matrix-multiplication-in-haskell] , Мне было интересно ... как бы выглядело безопасное умножение матриц? ...
Как написать функцию Haskell, которая принимает в качестве аргумента переменную функцию
Я пытаюсь создать функцию, которая получает переменную функцию какАргументт.е. func :: (a -> ... -> a) -> aкак я могу это сделать? Я читал ополивариадные ...
Почему этот код на Haskell успешно работает с бесконечными списками?
У меня есть код на Haskell, которыйделает корректно работать над бесконечным списком, но я не понимаюПочему это может сделать это успешно. (Я изменил свой исходный код - который не обрабатывал бесконечные списки - чтобы включить что-то из ...
Ошибка типа с типами ранга 2 и составом функции
Вот некоторые прагмы и некоторые импортные: {-# LANGUAGE ScopedTypeVariables #-} import Control.Monad.ST import Data.Array.ST import Data.ArrayТеперь вот моя проблема. Следующие проверки типов кода: foo :: forall a. a -> [a] foo x = elems $ ...
подпоследовательности длины n из списка выполнения
Я реализовал версию этого ответаhttps://stackoverflow.com/a/9920425/1261166 [https://stackoverflow.com/a/9920425/1261166](Я не знаю, что задумал человек, отвечающий) sublistofsize 0 _ = [[]] sublistofsize _ [] = [] sublistofsize n (x : xs) ...
Можно ли ввести дополнительные переменные типа в ограничение суперкласса?
При работе с семействами типов часто удобно использовать ограничения на равенство, чтобы избежать необходимости повторять имя какой-либо функции типа в сигнатуре: class Foo f where type BulkyAssociatedType f :: * foo :: BulkyAssociatedType f -> ...
Haskell: Использовать -XF FlexibleContexts, чтобы разрешить это?
Мой код выглядит следующим образом: calcstep ::Integral a => a -> a calcstep n = calcstep2 n 0 calcstep2 :: Integral (Integral a, Integral b) => a -> b -> a calcstep2 1 k = k calcstep2 n k | odd n = calcstep2 (n/2) (k+1) | otherwise = calcstep2 ...
Многострочные команды в GHCi
У меня проблема с вводом многострочных команд в ghci. Следующий двухстрочный код работает из файла: addTwo :: Int -> Int -> Int addTwo x y = x + yНо когда я вхожу в ghci, я получаю ошибки. Я также попытался положить код внутри:{ ... :}, но они ...
Как построить матрицу нулей с помощью hmatrix?
Пытаясь использоватьhmatrix [http://hackage.haskell.org/package/hmatrix], чтобы создать нулевую матрицу. По какой-то причине, когда я пытаюсь это в командной строке, это работает: buildMatrix 2 3 (\(r,c) -> fromIntegral 0)Однако, когда я пытаюсь ...
В отличие от функтора, монада может менять форму?
Мне всегда нравилось следующее интуитивное объяснение силы монады относительно функтора: монада может менять форму; функтор не может. Например:length $ fmap f [1,2,3] всегда равняется3. С монадой, однако,length $ [1,2,3] >>= g часто не будет ...