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

Я деякий час займався розробкою у F #, і мені це подобається. Однак одне модне слово, яке я знаю, не існує у F # - це вищі типи. Я читав матеріали про вищі типи, і, думаю, розумію їх визначення. Я просто не впевнений, чому вони корисні. Хтось може навести кілька …

88 scala  haskell  types  f#  higher-kinded-types 

Закрито . Це питання ґрунтується на думках . Наразі відповіді не приймаються. Хочете покращити це питання? Оновіть питання, щоб на нього можна було відповісти фактами та цитатами, відредагувавши цю публікацію . Закрито 2 роки тому . Удосконалюйте це питання Я довго думав над цим питанням, але насправді не міг знайти …

88 compiler-construction  haskell  ocaml  functional-programming 

Цей фрагмент коду Haskell працює набагато повільніше -O, але -Oповинен бути небезпечним . Хто-небудь може сказати мені, що сталося? Якщо це важливо, це спроба вирішити цю проблему , і вона використовує двійковий пошук та постійне дерево сегментів: import Control.Monad import Data.Array data Node = Leaf Int -- value | Branch …

87 haskell  optimization  ghc  compiler-bug 

Нещодавно я закінчив університетський курс, де проходили Haskell та Agda (залежний тип функціональної мови програмування), і мені було цікаво, чи можна замінити лямбда-числення в них комбінаційною логікою. З Haskell це здається можливим за допомогою комбінаторів S і K, що робить його безточковим. Мені було цікаво, що це еквівалент для Агди. …

87 haskell  types  functional-programming  logic  agda 

Мене трохи розгубила документація fix(хоча, я думаю, я розумію, що вона повинна робити зараз), тому я подивився вихідний код. Це мене ще більше розгубило: fix :: (a -> a) -> a fix f = let x = f x in x Як саме це повертає фіксовану точку? Я вирішив спробувати …

87 haskell  fixpoint-combinators  letrec 

У GHCi: Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: Чому перший не є вкладеним винятком?

86 exception  haskell 

Як я можу отримати esqueleto для генерації рядка SQL з fromоператора? У документації toRawSqlсказано, що "ви можете просто увімкнути реєстрацію запитів постійних". Я спробував усі можливі форми, MonadLoggerякі я міг зрозуміти, але він ніколи не друкував жодного SQL. У цій же документації також сказано, що "використання цієї функції вручну ... …

86 haskell  yesod  esqueleto 

Я намагаюся зрозуміти, що робить оператор крапок у цьому коді Хаскелла: sumEuler = sum . (map euler) . mkList Весь вихідний код наведено нижче. Моє розуміння Точковий оператор приймає за вхідні дані дві функції, sumа також результат map eulerі результат mkList. Але, sumхіба функція не є аргументом функції, чи не …

86 haskell  syntax  function-composition 

Під час компіляції моєї програми Haskell з цією -Wallопцією GHC скаржиться на випадки, що залишились без батьків, наприклад: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Клас типу ToSElemне є моїм, він визначається HStringTemplate . Тепер я знаю, як це виправити (перемістити декларацію екземпляра в модуль, де оголошено результат), і я …

86 haskell  ghc  typeclass 

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

85 haskell  programming-languages 

Дано : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Я хочу зробити Stringекземпляр Fooable: instance Fooable String where toFoo = FooString Потім GHC скаржиться: Illegal instance declaration for `Fooable String' (All instance types must …

85 haskell  ghc  typeclass  type-systems 

Я написав цей невеликий фрагмент Haskell, щоб зрозуміти, як GHC доводить, що для натуральних чисел можна парні парні лише вдвічі: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x :: Parity) :: …

84 haskell  ghc  proof  haskell-platform  formal-verification 

Я goбагато бачу, читаючи матеріал або джерело Haskell, але мені ніколи це не сподобалось - (мабуть, у мене на думці негативний відтінок "goto"). Я почав вивчати Haskell з LYAH, і саме тут я взяв тенденцію до використання accта stepпід час написання складок. Звідки береться конвенція про письмо go? Найголовніше, що …

83 haskell  naming-conventions 

Стандартна бібліотека Haskell класів типів MonadPlus, Alternativeі Monoidкожен з них надає два методи з практично тією ж самою семантикою: Пусте значення: mzero, emptyабо mempty. Оператор , a -> a -> aякий з'єднує значення в класі типів разом: mplus, <|>або mappend. Усі три визначають ці закони, яких слід дотримуватися: mempty `mappend` …

83 haskell  functional-programming  typeclass  applicative  monoids 

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

83 haskell  recursion  functional-programming  recursion-schemes