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

Я намагаюся зрозуміти екзистенційні типи в Haskell і натрапив на PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Будь ласка, виправте мої нижче розуміння, які я маю дотепер. Екзистенціальні типи, схоже, не цікавляться типом, який вони містять, але узор, що відповідає їм, говорить про те, що існує якийсь тип, який ми не знаємо, що це до …

10 haskell  gadt  existential-type 

З кількісно вираженими обмеженнями я можу вийти Eq (A f)просто добре? Однак, коли я намагаюся отримати Ord (A f), це не вдається. Я не розумію, як використовувати кількісні обмеження, коли клас обмеження має надклас. Як вивести Ord (A f)та інші класи, які мають суперкласи? > newtype A f = A …

10 haskell  typeclass  derived-class  quantified-constraints 

Я бачу дуже дивна поведінка , де Хаскелл bracketфункція поводиться по- різному в залежності від того stack runчи stack testвикористовується. Розглянемо наступний код, де два вкладені дужки використовуються для створення та очищення Docker-контейнерів: module Main where import Control.Concurrent import Control.Exception import System.Process main :: IO () main = do bracket …

10 haskell  haskell-stack 

Нещодавно я стикався з ситуаціями, коли мені потрібно передати предикатну функцію в іншу функцію, і досить часто логіка, яку я шукаю, по суті "чи відповідає це значення цій схемі?" Здається, що відповідність шаблонів вважається кращою у doрозуміннях декларацій, блоків та списків, але є ряд функцій, які беруть предикат a -> …

10 haskell 

Приємний справжній факт конкатенації полягає в тому, що якщо я знаю будь-які дві змінні рівняння: a ++ b = c Тоді я знаю третє. Я хотів би зафіксувати цю ідею у власному стислі, тому я використовую функціональну залежність. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances #-} …

10 haskell  typeclass  functional-dependencies  type-level-computation 

Нещодавно я почав вивчати Haskell, тому що хотів розширити свої знання з функціонального програмування, і мушу сказати, що дуже люблю його до цих пір. Зараз я використовую курс "Основи Haskell, частина 1" з питань плюралізму. На жаль, у мене є труднощі з розумінням однієї конкретної цитати лектора про наступний код …

10 haskell 

Нижче наведено 3 функції, які знаходять останній, але другий елемент у списку. Той, хто використовує, last . initздається набагато швидшим, ніж решта. Я не можу зрозуміти, чому. Для тестування я використав список вхідних даних [1..100000000](100 мільйонів). Останній працює майже миттєво, тоді як інші займають кілька секунд. -- slow myButLast :: …

10 haskell 

Зараз я маю справу з такою функцією: foo = (\(a:b:c:d:e:f:_) -> foobar a b c d e f) . (++ repeat def) Іншими словами, даючи список, він використовує перші шість елементів для чогось, і якщо список менше шести елементів, він використовує defяк очікування для відсутніх. Це загальна сума, але шматочки …

10 haskell  pattern-matching 

type BSTree a = BinaryTree a data BinaryTree a = Null | Node (BinaryTree a) a (BinaryTree a) deriving Show flattenTree :: BinaryTree a -> [a] flattenTree tree = case tree of Null -> [] Node left val right -> (flattenTree left) ++ [val] ++ (flattenTree right) isBSTree :: (Ord …

10 haskell  tree  binary-tree  binary-search-tree  predicate 

Я наткнувся на деякі дратівливі речі. Я знаю, що haskell працює зі слабкою головою нормальної форми (WHNF), і я знаю, що це. Введення наступного коду в ghci (я використовую команду: sprint, яка зводить вираз до WHNF, наскільки мені відомо.): let intlist = [[1,2],[2,3]] :sprint intlist дає intlist = _це робить …

9 haskell  functional-programming  ghci  reduction  weak-head-normal-form 

Я навчаюсь Haskell і робив просту програму з насінням БД для Yesod, коли натрапив на таку поведінку, яку мені важко зрозуміти: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Сесія GHCI в Yesod: $ :t concatMap testFn [3] concatMap …

9 haskell  traversal 

(Натхненний моєю відповіддю на це запитання .) Розглянемо цей код (він повинен знайти найбільший елемент, менший або рівний даному входу): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess :: Integer -> TreeMap v -> Maybe (Integer, v) closestLess i …

9 haskell  lazy-evaluation  dry 

Я намагаюся визначити сімейство державних машин з дещо різними видами станів. Зокрема, більш "складні" державні машини мають стани, які утворюються шляхом об'єднання станів більш простих державних машин. (Це схоже на об'єктно-орієнтовану установку, коли об’єкт має кілька атрибутів, які також є об'єктами.) Ось спрощений приклад того, що я хочу досягти. data …

9 haskell  state  monads  monad-transformers  state-monad 

Чому вони не є рівнозначними? show $ if someCondition then someInt else some double і if someCondition then show someInt else show someDouble Я розумію, що якщо ви виділите if ... elseчастину в першому прикладі до виразу самостійно, то ви не можете представляти його тип анонімним типом суми, таким Int …

9 haskell  compiler-construction  language-features  typechecking 

Я справді дуже боюся з розумінням callCC. Я отримую силу продовжень і використовую цю концепцію в деяких своїх проектах, щоб створити круті концепції. Але ніколи мені не потрібно було використовувати щось з більшими можливостями, ніж cont :: ((a->r)->r)-> Cont r a. Після його використання має багато сенсу, чому вони називають …

9 haskell  functional-programming  monads