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

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

106 scala  haskell  functional-programming  monads 

Я намагаюся включити XRankNTypesв GHCi. Як це зробити?

106 haskell  ghci  language-extension 

Я не можу зрозуміти, чому m1, мабуть, запам'ятовується, а m2 не в наступному: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000 займає приблизно 1,5 секунди на перший дзвінок, і частина цього при наступних дзвінках (імовірно, це кешування списку), тоді як m2 10000000 …

106 haskell  ghc  memoization 

Що таке клас класу Comonad у Haskell? Як і в Comonad від Control.Comonad у пакеті comonad (пояснення будь-яких інших пакетів, які надають клас класу Comonad, також вітаються). Я розпливчасто чув про Комонаду, але все, що я насправді знаю про це, є те, що це забезпечує extract :: w a -> …

105 haskell  typeclass  comonad 

Нещодавно я з’ясував, що типові отвори в поєднанні зі збіркою візерунків на доказках забезпечують досить хороший досвід, схожий на Agda в Haskell. Наприклад: {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data (==) :: k -> k -> * where Refl :: x == x sym :: a == …

105 haskell  dependent-type 

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

104 haskell  comparison  lisp  language-comparisons 

Вирішуючи деякі проблеми проекту Ейлера, щоб вивчити Haskell (тому зараз я абсолютно початківець), я натрапив на проблему 12 . Я написав це (наївне) рішення: --Get Number of Divisors of n numDivs :: Integer -> Integer numDivs n = toInteger $ length [ x | x<-[2.. ((n `quot` 2)+1)], n `rem` …

104 haskell  performance  profiling 

Безпека типів Haskell є другою ніхто НЕ тільки до залежного від типізованих мов. Але з Text.Printf відбувається деяка глибока магія, яка здається досить хитрою . > printf "%d\n" 3 3 > printf "%s %f %d" "foo" 3.3 3 foo 3.3 3 У чому полягає глибока магія цього? Як Text.Printf.printfфункція може …

104 haskell  printf  variadic-functions  polyvariadic 

Алгебраїчні типи даних (ADT) в Haskell можуть автоматично ставати екземплярами деяких типів класів (наприкладShow,Eq), виходячи з них. data Maybe a = Nothing | Just a deriving (Eq, Ord) Моє запитання полягає в тому, як це derivingпрацює, тобто як Haskell знає, як реалізувати функції похідного класу для похідного ADT? Крім того, …

104 haskell  typeclass  derived-types  derived-instances  deriving 

У мене є три функції, які знаходять n-й елемент списку: nthElement :: [a] -> Int -> Maybe a nthElement [] a = Nothing nthElement (x:xs) a | a <= 0 = Nothing | a == 1 = Just x | a > 1 = nthElement xs (a-1) nthElementIf :: [a] …

104 haskell  if-statement  case 

Вчора я дізнався про новий інструмент Haskell під назвою Stack . При перших рум'янах схоже, що це робить таку ж роботу, що і Кабал. Отже, в чому різниця між ними? Чи є стек заміною для Cabal? У яких випадках я повинен використовувати Stack замість Cabal? Що може Стек зробити, що …

104 haskell  cabal  haskell-stack 

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

103 haskell  f#  functional-programming 

Поточна поведінка Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an equation for ‘it’: it = show _ …

103 haskell  types  ghc 

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Чому у нас є три різні функції, які роблять по суті те саме?

102 list  haskell  monads  redundancy  functor 

Я щойно розпочав новий проект Haskell і з самого початку хотів налаштувати хороший тестовий робочий процес. Схоже, Haskell має безліч чудових та унікальних інструментів тестування та безліч різних способів їх інтеграції. Я переглянув: HUnit QuickCheck жим лежачи HPC складність Які, здається, дуже добре працюють у своїх областях, але я шукаю …

101 testing  haskell