Запитання з тегом «haskell»

Багато типів оптики мають представлення ван Лаарховена. Наприклад, Lensтип Lens s t a b може бути представлений у вигляді: Functor f => (a -> f b) -> s -> f t Аналогічно a Traversal, можна представити аналогічним чином, змінюючи Functorобмеження на Applicative: Applicative f => (a -> f b) -> …

15 scala  haskell  functional-programming  lenses  monocle-scala 

У моєму проекті Haskell, коли я stack run, він показує наступне, але все ще працює. Яке це попередження? Як я можу його позбутися? Stack has not been tested with GHC versions above 8.6, and using 8.8.2, this may fail Stack has not been tested with Cabal versions above 2.4, but …

14 haskell  cabal  haskell-stack 

У мене є вправа, де я повинен визначити тип для представлення списку зі значеннями від 0 до 5. Спочатку я подумав, що можу вирішити це рекурсивно так: data List a = Nil | Content a (List a) Але я не думаю, що це правильний підхід. Чи можете ви, будь ласка, …

14 haskell 

Реальний світ Haskell, глава 4, сторінка 98 друку запитує, чи wordsможна реалізувати за допомогою складок, і це також моє питання: Це можливо? Якщо ні, то чому? Якщо так, то як? Я придумав наступне, що ґрунтується на ідеї, що кожне не пробіл має бути попередньо до останнього слова у списку виводу …

14 haskell  functional-programming  fold 

При обчисленні IO (IO ())і те, (IO ())і ()обчислюється, так навіщо main :: IO (IO ()) main = print <$> (print "Hello, World!") друк "Hello, World!" ні IO "Hello, World!" -- ?? "Hello, World!"

14 haskell 

Я блукав у розділі з обмеженими можливостями бібліотеки Хаскелл і виявив ці дві мерзенні заклинання: {- System.IO.Unsafe -} unsafeDupablePerformIO :: IO a -> a unsafeDupablePerformIO (IO m) = case runRW# m of (# _, a #) -> a {- Data.ByteString.Internal -} accursedUnutterablePerformIO :: IO a -> a accursedUnutterablePerformIO (IO m) …

13 haskell  io  unsafe  unsafe-perform-io 

У ghci, коли я набираю :t (-) щоб з'ясувати тип (-), він повертається (-) :: Num a => a -> a -> a Однак, коли я пишу -1haskell, повертає число, яке, мабуть, означає, що (-)це тип Num a => a -> a. Як, (-)здавалося б, можуть бути двох різних типів?

12 haskell 

seasonФункція використовує алгебраїчні функції , але я відчуваю, що код повторюється. Як зробити це якомога коротше? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = Spring | Summer | …

12 haskell  algebraic-data-types 

Це код, який я десь натрапив, але хочу знати, як це працює: findIndices :: (a -> Bool) -> [a] -> [Int] findIndices _ [] = [] findIndices pred xs = map fst (filter (pred . snd) (zip [0..] xs)) Вихід: findIndices (== 0) [1,2,0,3,0] == [2,4] , де pred є …

12 haskell  composition  higher-order-functions  function-composition  pointfree 

Чому GHCi дає неправильну відповідь нижче? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 ОНОВЛЕННЯ Я би реалізував функцію Haskell (^) наступним чином. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = powerXY (1/x) (-y) …

12 haskell  floating-point  ghc  ghci 

Як заголовок: як є гарантія оцінювання блоку повернення функції Haskell? Можна подумати, що немає необхідності проводити будь-яку оцінку в такому випадку, компілятор міг би замінити всі такі виклики на негайне ()значення, якщо немає явних запитів на суворість, і в цьому випадку код може вирішити, чи слід повернення ()або дно. Я …

12 haskell  language-lawyer  lazy-evaluation  semantics  unit-type 

Оскільки державна монада може бути розподілена на продукт (ліворуч - функціонер) та читач (справа - представницький). Чи є спосіб факторизувати продовження Монади? Нижче коду - моя спроба, яка не перевіряю тип -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances #-} type (<-:) …

11 haskell  monads  continuations  category-theory  comonad 

Я пишу пакет креслень з деякими частинами, і у мене є оператори та типи даних, що розкидані через групу. Однак я не хочу, щоб користувачі щоразу додавали відповідні модулі, оскільки це було б дуже безладно, наприклад, я мав би Pointклас, Monoidроль та Styleклас у різних шляхах, як це unit module …

11 haskell  raku 

У мене є тип, Id aі я намагаюся запобігти випадковому примусу, наприклад, Id Doubleдо ан Id Int. Якщо я правильно розумію ролі типу, наступне не слід збирати. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id String badKey :: Id Int badKey = …

11 haskell  roles  coerce 

Я намагаюся створити функцію F #, яка поверне суму списку ints довільної вкладеності. Тобто він буде працювати для a list<int>, a list<list<int>>і a list<list<list<list<list<list<int>>>>>>. У Haskell я б написав щось на кшталт: class HasSum a where getSum :: a -> Integer instance HasSum Integer where getSum = id instance HasSum …

10 haskell  f#