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

У реальному світі Haskell , глава 4. про функціональне програмування : Написати foldl за допомогою foldr: -- file: ch04/Fold.hs myFoldl :: (a -> b -> a) -> a -> [b] -> a myFoldl f z xs = foldr step id xs z where step x g a = g (f …

79 haskell  recursion  fold 

Мені потрібна допомога, щоб зрозуміти використання трьох функцій Haskell спробувати ( Control.Exception.try :: Exception e => IO a -> IO (Either e a)) catch ( Control.Exception.catch :: Exception e => IO a -> (e -> IO a) -> IO a) ручка ( Control.Exception.handle :: Exception e => (e -> IO …

79 haskell  exception-handling 

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

79 programming-languages  haskell  functional-programming  wolfram-mathematica 

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

79 haskell  monads  functor  category-theory 

Коли я вивчаю Haskell, я бачу, що в реальному коді існує багато розширень мови . Як новачкові мені слід навчитися ними користуватися, чи я повинен уникати їх за всяку ціну? Я бачу, що це порушує сумісність із Haskell 98 і обмежує код лише GHC. Однак, якщо я переглядаю пакунки на …

78 haskell  ghc 

Хороший день. Єдине, що я зараз ненавиджу в Haskell - це кількість пакетів для роботи з рядком. Спочатку я використовував власні [Char]рядки Haskell , але коли я спробував почати використовувати бібліотеки хакерів, то повністю загубився в нескінченних перетвореннях. Здається, кожен пакет використовує різні рядки, деякі використовують власну річ. Далі я …

78 string  haskell  text 

Я новачок у Haskell, і я читаю про функтори та аплікативні функтори. Добре, я розумію функтори та те, як я можу ними користуватися, але я не розумію, чому аплікативні функтори корисні та як я можу використовувати їх у Haskell. Чи можете ви пояснити мені на простому прикладі, чому мені потрібні …

78 haskell  functional-programming  functor 

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

78 haskell  functional-programming  sml  discrete-mathematics 

Мене бентежить те, як компілятор haskell іноді вигадує типи, які є менш поліморфними, ніж те, що я очікував, наприклад при використанні безточкових визначень. Здається, проблема полягає в "обмеженні мономорфізму", яке за замовчуванням увімкнено у старих версіях компілятора. Розглянемо наступну програму haskell: {-# LANGUAGE MonomorphismRestriction #-} import Data.List(sortBy) plus = (+) …

78 haskell  types  polymorphism  type-inference  monomorphism-restriction 

Ось як визначається монада Cont: newtype Cont r a = Cont { runCont :: (a -> r) -> r } instance Monad (Cont r) where return a = Cont ($ a) m >>= k = Cont $ \c -> runCont m $ \a -> runCont (k a) c Не могли …

77 haskell  monads  continuations 

Я новачок у haskell і працюю над модульним тестуванням, проте я вважаю екосистему дуже заплутаною. Я збентежений щодо стосунків між HTF та HUnit. У деяких прикладах я бачу, як ви налаштовуєте тестові кейси, експортуєте їх у список тестів, а потім запускаєте у ghci за допомогою runTestsTT(як цей приклад HUnit ). …

77 unit-testing  haskell 

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

77 haskell  monads 

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

76 haskell  parsec  attoparsec 

Примітка іншим потенційним співавторам: Будь ласка, не соромтеся використовувати абстрактні чи математичні позначення, щоб висловити свою думку. Якщо я знайду вашу відповідь незрозумілою, я попрошу її пояснити, але в іншому випадку сміливо висловлюйтеся з комфортом. Щоб бути зрозумілим: я не шукаю "сейф" head, а також вибір headособливо винятково значущого. Основним …

76 haskell  polymorphism  parametric-polymorphism 

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

76 haskell  types  typeclass