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

У F # використання оператора трубопровідного руху |>досить поширене. Однак у Haskell я лише коли-небудь бачив склад функції (.), який використовується. Я розумію, що вони пов'язані між собою , але чи є мовна причина того, що в Haskell не використовується pipe-forward або це щось інше?

100 haskell  f#  functional-programming  composition 

Чи існує в чистих функціональних мовах, як Haskell, алгоритм отримання зворотної функції (редагування), коли вона бієктивна? І чи є певний спосіб запрограмувати свою функцію так, як це?

100 haskell  clojure  functional-programming  ocaml 

Як можна було б кодувати цей фрагмент коду С у файлі .chs, щоб c2hs міг перетворити його на щось порівняно приємне? typedef enum { MONOME_BUTTON_UP = 0x00, MONOME_BUTTON_DOWN = 0x01, MONOME_ENCODER_DELTA = 0x02, MONOME_ENCODER_KEY_UP = 0x03, MONOME_ENCODER_KEY_DOWN = 0x04, MONOME_TILT = 0x05, /* update this if you add event types …

100 haskell  c2hs 

Я не впевнений, що викликає цю проблему, але в проекті, який я будую, компілятор займає години, щоб скласти модуль. Загальний розмір моєї кодової бази становить 352 Кб, але жоден з модулів не перевищує 10 КБ. Я використовую Native порт, але це дуже банально; Я просто добираюся Date.now()з цим. Чи є …

100 haskell  switch-statement  pattern-matching  elm 

Під час спроби налагодити проблему в моїй програмі (2 кола з рівним радіусом малюються до різних розмірів за допомогою Gloss *), я натрапив на дивну ситуацію. У моєму файлі, який обробляє об'єкти, у мене є таке визначення для Player: type Coord = (Float,Float) data Obj = Player { oPos :: …

99 haskell  types 

Я намагаюся і не можу переглядати цю traverseфункцію Data.Traversable. Я не можу зрозуміти його сенс. Оскільки я походжу з імперативного походження, чи може хтось пояснити мені це термінами імперативного циклу? Псевдокод був би дуже вдячний. Дякую.

99 haskell  traversal 

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

98 haskell  monads 

Як я можу отримати доступ до списку за індексом у Haskell, аналогічно цьому коду С? int a[] = { 34, 45, 56 }; return a[1];

97 haskell 

absurdФункція Data.Voidмає такий підпис, де Voidє логічно нежилим типом експортованого цього пакетом: -- | Since 'Void' values logically don't exist, this witnesses the logical -- reasoning tool of \"ex falso quodlibet\". absurd :: Void -> a Я знаю достатньо логіки, щоб отримати зауваження документації про те, що це відповідає відповідно …

97 haskell  type-theory  curry-howard 

Скрізь, де я намагався використовувати map, fmapпрацював також. Чому творці Haskell відчули потребу у mapфункції? Хіба це не може бути просто те, що наразі відомо як fmapі яке fmapможна видалити з мови?

97 haskell 

Я новачок у функціональному програмуванні і нещодавно навчався в Learn You a Haskell , але коли я пройшов цей розділ , я застряг у програмі нижче: import Control.Monad.Writer logNumber :: Int -> Writer [String] Int logNumber x = Writer (x, ["Got number: " ++ show x]) multWithLog :: Writer [String] …

97 haskell  monads 

Читаючи цю класичну статтю , я застряг на параморфізмах. На жаль, розділ досить тонкий, і на сторінці Вікіпедії нічого не сказано. Мій переклад Haskell: para :: (a -> [a] -> b -> b) -> b -> [a] -> b para f base = h where h [] = base h …

96 haskell  recursion  functional-programming  higher-order-functions 

Чи можна написати модуль у Haskell, який реекспортує модуль на додаток до експорту всього видимого всередині? Давайте розглянемо наступний модуль: module Test where import A f x = x Цей модуль експортує все визначене всередині, тому експортує, fале не реекспортує нічого, що імпортується A. З іншого боку, якщо я хочу …

96 haskell  module  export 

Які існують можливості отримання офлайн-документів для основних бібліотек Haskell (а може і більше)? Іноді я беру свій ноутбук у кав’ярню, де немає wifi, і було б непогано мати щось на зразок Hoogle, але для використання в автономному режимі.

94 haskell  offline-mode 

Я створив демон, який використовував дуже примітивну форму ipc(telnet і надіслати рядок, який містив певні слова в певному порядку). Я вирвався з нього і зараз використовую JSONдля передачі повідомлень на Yesodсервер. Однак, деякі речі мені дуже сподобались у моєму дизайні, і я не впевнений, який вибір зараз я маю. Ось …

93 json  haskell  exception-handling  yesod