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

Я намагаюся скласти кілька діаграм разом у якусь таблицю. Я думаю, що це називається "покажчик друку" , люди фотографії роблять це, коли їм доводиться перевіряти багато фотографій одночасно. У всякому разі, це код: main :: IO () main = mainWith @(Diagram B) $ (tile . fmap renderOne) examples renderOne :: …

9 haskell  haskell-diagrams 

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

9 haskell  higher-order-functions  fold 

У мене є цей (правда, дивний) код, який використовує об'єктив і GHC.Records : {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- just …

9 haskell  typeclass  typechecking 

Проблема Розглянемо наступну проблему дизайну в Haskell. У мене є простий, символічний EDSL, в якому я хочу висловити змінні та загальні вирази (багатоваріантні многочлени), такі як x^2 * y + 2*z + 1. Крім того, я хочу висловити певні символічні рівняння над виразами, скажімо x^2 + 1 = 1, так …

9 haskell  casting  type-conversion  ghc  typeclass 

Клас Applicativeтипу являє собою мляві моноїдні функтори, які зберігають декартову моноїдну структуру на категорії типових функцій. Іншими словами, з огляду на канонічні ізоморфізми, що свідчать про (,)формування моноїдної структури: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) …

9 haskell  functor  applicative  category-theory 

Шаблон, на який я стикався вже не раз, - це той, де список значень потрібно перевірити, зіставивши якийсь тест над ним і побачивши, чи пройшли якісь або всі елементи. Типове рішення - просто використовувати зручні вбудовані allта any. Проблема полягає в тому, що вони оцінюються послідовно. У багатьох випадках було …

9 haskell  testing  concurrency  parallel-processing  any