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

2
Що таке “Вільний монад + перекладач”?
Я бачив людей, що розмовляють про Вільну Монаду з Інтерпретатором , особливо в контексті доступу до даних. Яка ця закономірність? Коли я можу захотіти ним скористатися? Як це працює, і як би я його реалізував? Я розумію (з повідомлень , таких як це ) , що мова йде про відокремлюючи …

5
Критика монади IO розглядається як державна монада, що діє на світ
IOМонада в Haskell часто пояснюється як державної монади , де держава є світ. Таким чином, значення IO aмонади типу розглядається як щось подібне worldState -> (a, worldState). Деякий час тому я прочитав статтю (або повідомлення в блозі / списку розсилки), в якому критикував цю точку зору і наводив кілька причин, …


3
Різні способи побачити монаду
Під час навчання Haskell я зіткнувся з великою кількістю навчальних посібників, намагаючись пояснити, що таке монади і чому монади важливі в Haskell. Кожен з них використовував аналогії, щоб було легше вловити сенс. Зрештою, у мене є 3 різних точки зору того, що таке монада: Перегляд 1: Монада як етикетка Іноді …

2
Чи монади є життєздатною (можливо, кращою) альтернативою ієрархіям спадкування?
Я буду використовувати мовно-агностичний опис монад на кшталт цього, спочатку опишу моноїди: Моноїд це (приблизно) набір функцій , які приймають певний тип в якості параметра і повертають один і той же тип. Монада є (приблизно) набір функцій , які приймають обгортки типу в якості параметра і повертає один і той …

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

2
Що таке Comonad і чим вони корисні?
Нещодавно я запилю мої знання про те, як працюють Монади. Я також був введений в поняття «комонадой» , яка описується як зворотний подвійний монади . Однак мені неможливо обмотати голову навколо цього. Щоб зрозуміти Монади, я зробив власну аналогію для себе: Монади можна розглядати як «креслення для створення конвеєрних стрічок …

1
Як співвідносяться Вільна монада та Реактивне розширення?
Я походжу з C #, де LINQ перетворювався на Rx.NET, але завжди мав певний інтерес до FP. Після деякого ознайомлення з монадами та деякими побічними проектами у F #, я був готовий спробувати перейти до наступного рівня. Тепер, після декількох розмов про вільну монаду людей зі Скали та декількох записів …

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

2
Чому тип Scala Option не називається Можливо, так само, як і в Haskell? [зачинено]
Закрито . Це питання ґрунтується на думці . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб на нього можна було відповісти фактами та цитатами, відредагувавши цю публікацію . Закрито 4 роки тому . Чому тип Scala Option не називається Можливо, так само, як і в Haskell? Можливо, …

4
Програмуючи у функціональному стилі, чи є у вас єдиний стан програми, який ви плетете за допомогою логіки програми?
Як побудувати систему, яка має все перелічене нижче : Використання чистих функцій з незмінними об'єктами. Передавайте лише дані про функції, які потрібні цій функції, не більше (тобто немає великого об'єкта стану програми) Уникайте занадто багато аргументів до функцій. Уникайте необхідності конструювання нових об'єктів лише для упаковки та розпакування параметрів до …

1
Ф'ючерси / монади проти подій
У рамках програми, коли вплив продуктивності можна ігнорувати (10-20 подій в секунду на максимум), що можна отримати більш гнучко та гнучко використовувати як бажаний засіб для спілкування між модулями - події чи майбутнє / обіцянки / монади ? Часто говорять про те, що події (pub / sub, посередник) дозволяють зв'язати …

1
Краще використовувати монаду помилок з валідацією у своїх монадійних функціях, або реалізувати власну монаду з валідацією безпосередньо у вашому зв’язку?
Мені цікаво, який дизайн краще для зручності користування / ремонту, а що краще для співтовариства. З огляду на модель даних: type Name = String data Amount = Out | Some | Enough | Plenty deriving (Show, Eq) data Container = Container Name deriving (Show, Eq) data Category = Category Name …

6
Як практикуючий, чому я повинен дбати про Haskell? Що таке монада і для чого вона потрібна? [зачинено]
Закрито . Це питання має бути більш зосередженим . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб воно зосередило увагу на одній проблемі, лише відредагувавши цю публікацію . Закрито 6 років тому . Я просто не розумію, яку проблему вони вирішують.
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.