Результаты поиска по запросу "haskell"
Акерманн очень неэффективен с Haskell / GHC
Я пытаюсь вычислитьAckermann(4,1)и есть большая разница в производительности между разными языками / компиляторами. Ниже приведены результаты на моемCore i7 3820QM, 16G, Ubuntu 12.10 64bit, C: 1,6 с, gcc -O3 (с gcc 4.7.2) int ack(int m, int n) ...
Типы: (Num a, Ord a) против (Int a)?
В файле я пытаюсь определить функцию следующим образом: myReplicate :: (Int a) => a -> b -> [b] myReplicate n x | n <= 0 = [] | otherwise = x : myReplicate (n-1) xКупить, когда я пытаюсь загрузить файл в ghci, я получаю эту ошибку: ghci>:l 1.hs ...
Имитация глобальной переменной
Я работаю над проектом в Haskell, и мне нужна глобальная переменная. В настоящее время я делаю это: funcs :: Map.Map String Double funcs = Map.empty eliminate :: Maybe a -> a eliminate (Just a) = a insert :: String -> Double -> Map.Map String ...
Haskell - Упаковка кабала с нестандартными препроцессорами
Я реализовал собственный препроцессор, который создает файлы * .hs из файлов * .tpl. Указано вSetup.hs используяBuild-Type: Custom, Все работает нормально, но я не могу создать пакет tar.gz из него (используяcabal sdist). Кабал жалуется, что не ...
Звонок на Haskell из C #
Я только что провел последнюю неделю или около того, выясняя, как выполнить код C ++ из C # как часть моей повседневной работы. Нам потребовалось вечно, чтобы понять это, но окончательное решение довольно простое. Теперь мне любопытно ... ...
Что представляет собой складку для типов, отличных от списка?
Рассмотрим односвязный список. Это выглядит примерно так data List x = Node x (List x) | EndЕстественно определить функцию складывания, такую как reduce :: (x -> y -> y) -> y -> List x -> yВ некотором смыслеreduce f x0 заменяет каждыйNode с ...
как работает 'undefined' в Haskell
Мне любопытно значение «неопределенное» в Хаскеле. Это интересно, потому что вы можете поместить его где угодно, и Хаскелл будет счастлив. Следующие все в порядке [1.0, 2.0, 3.0 , undefined] ::[Float] [1, 2 ,3 undefined, 102312] :: ...
Алгебраические типы данных Haskell
Я пытаюсь полностью понять все концепции Хаскелла. Как алгебраические типы данных похожи на универсальные типы, например, в C # и Java? И чем они отличаются? Что в них такого алгебраического? Я знаком с универсальной алгеброй и ее кольцами и ...
Виды типов в функциях
Возьмите следующий код: {-# LANGUAGE KindSignatures, DataKinds #-} data Nat = O | S Nat class NatToInt (n :: Nat) where natToInt :: n -> Int instance NatToInt O where natToInt _ = 0 instance (NatToInt n) => NatToInt (S n) where natToInt _ = 1 + ...
В чем разница между runghc и runhaskell?
RWH внезапно начал использовать runhaskell вместо runghc. Какая разница? Насколько я могу судить, они работают одинаково.