{"id":19133374,"url":"https://github.com/vasnake/fp_haskell-c2","last_synced_at":"2025-07-05T03:07:51.541Z","repository":{"id":219975466,"uuid":"750416505","full_name":"vasnake/fp_haskell-c2","owner":"vasnake","description":"Функциональное программирование на языке Haskell (часть 2) / Денис Москвин / stepik","archived":false,"fork":false,"pushed_at":"2024-05-06T04:51:19.000Z","size":1028,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-02-22T17:46:33.411Z","etag":null,"topics":["fp","haskell","learn"],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/vasnake.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-01-30T15:55:23.000Z","updated_at":"2024-01-31T13:23:04.000Z","dependencies_parsed_at":"2024-05-06T05:48:48.548Z","dependency_job_id":null,"html_url":"https://github.com/vasnake/fp_haskell-c2","commit_stats":null,"previous_names":["vasnake/fp_haskell-c2"],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/vasnake/fp_haskell-c2","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vasnake%2Ffp_haskell-c2","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vasnake%2Ffp_haskell-c2/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vasnake%2Ffp_haskell-c2/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vasnake%2Ffp_haskell-c2/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/vasnake","download_url":"https://codeload.github.com/vasnake/fp_haskell-c2/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vasnake%2Ffp_haskell-c2/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":263674296,"owners_count":23494549,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["fp","haskell","learn"],"created_at":"2024-11-09T06:22:14.576Z","updated_at":"2025-07-05T03:07:51.524Z","avatar_url":"https://github.com/vasnake.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# FP Haskell\n\n[Часть 1 / 2](https://github.com/vasnake/fp_haskell-c1)\n\nЧасть 2 / 2\n[Функциональное программирование на языке Haskell (часть 2) / Денис Москвин / stepik](https://stepik.org/course/693/syllabus) /\nhttps://stepik.org/693\n\n- [Chapter 1, аппликативные функторы](./chapter1.md)\n- [Chapter 2, управление эффектами](./chapter2.md)\n- [Chapter 3, монады и эффекты](./chapter3.md)\n- [Chapter 4, трансформеры монад](./chapter4.md)\n\n[Certificate](./stepik-certificate-693-dfbe634.pdf) https://stepik.org/cert/2392752?lang=en\n\n## short notes\n\n\u003e чистые функции только лишь производят вычисления, а функции с эффектами\nпроизводят вычисления И/ИЛИ делают что-то еще. И вот это \"что-то еще\" и называется эффектами\n\nНадо учесть, что аппликативный функтор это вычисление с эффектами.\nЦепочка (пайплайн) таких вычислений может накапливать эффекты, но, в отличие от монад, не меняет \"структуру контейнера\".\nДва вычисления, образующих \"пайплайн\", в аппликативе не могут \"взаимодействовать\", а в монаде могут.\nhttps://stackoverflow.com/questions/23342184/difference-between-monad-and-applicative-in-haskell\n\nСтандартные тайп-классы и их законы:\nThe standard Haskell libraries feature a number of type classes with algebraic or category-theoretic underpinnings https://wiki.haskell.org/Typeclassopedia\n\nКомпозиция функций как инструмент преобразования выражений:\n```hs\n-- Берём выражение из двух функций: traverse, toList\ntraverse2list f x = traverse f (toList x)\n-- выражаем через x\ntraverse2list f x = (traverse f) (toList x)\ntraverse2list f x = (traverse f . toList) x\n-- η  - преобразование 1\ntraverse2list f = traverse f . toList\n-- выражаем через f\ntraverse2list f = (. toList) (traverse f)\ntraverse2list f = ((. toList) . traverse) f\n-- η  - преобразование 2\ntraverse2list = (. toList) . traverse\n```\ncomposition\n\nПайплайн вычислений (с эффектами), направление пайплайна, Applicative vs Monad\n```hs\nОператоры \"аппликации\":\n\n-- функция, затем аргумент:\n($)     ::                      (a -\u003e b) -\u003e   a -\u003e   b -- infixr 0 $\n(\u003c$\u003e)   :: Functor     f  =\u003e    (a -\u003e b) -\u003e f a -\u003e f b -- infixl 4 \u003c$\u003e, fmap\n(\u003c*\u003e)   :: Applicative f  =\u003e  f (a -\u003e b) -\u003e f a -\u003e f b -- infixl 4 \u003c*\u003e\n(=\u003c\u003c)   :: Monad       m  =\u003e  (a -\u003e m b) -\u003e m a -\u003e m b -- infixr 1 =\u003c\u003c\n\n-- аргумент, затем функция (через flip, за одним исключением - Applicative):\n(\u0026)     ::                      a -\u003e   (a -\u003e b) -\u003e   b -- infixl 1 \u0026    -- Data.Function\n(\u003c\u0026\u003e)   :: Functor     f  =\u003e  f a -\u003e   (a -\u003e b) -\u003e f b -- infixl 1 \u003c\u0026\u003e  -- Control.Lens.Operators\n(\u003c**\u003e)  :: Applicative f  =\u003e  f a -\u003e f (a -\u003e b) -\u003e f b -- infixl 4 \u003c**\u003e -- Control.Applicative\n(\u003e\u003e=)   :: Monad       m  =\u003e  m a -\u003e (a -\u003e m b) -\u003e m b -- infixl 1 \u003e\u003e=\n\nАппликативы и монады позволяют строить пайплайны вычислений с эффектами.\n\nApplicative vs Monad:\nВ аппликативе структура вычислений более жестко фиксирована.\nВ монаде дозволена большая гибкость при вычислениях, можно влиять на структуру контекста (на эффекты).\nМонада: значение предыдущего вычисления может влиять на структуру следующих вычислений,\nпосмотрите на стрелку Клейсли в сигнатуре bind `m  =\u003e  m a -\u003e (a -\u003e m b) -\u003e m b`,\nвидно, что \"контейнер\" зависит от значения, пример: `if x == 42 then Just \"foo\" else Nothing`.\nВ аппликативе так сделать не получится.\n\n(\u003e\u003e=)   :: Monad       m  =\u003e  m a -\u003e (a -\u003e m b) -\u003e m b -- infixl 1 \u003e\u003e=\nво время ее выполнения создается контекст,\nкак итог, пайплайн связывает как вычисления, так и измениня контекста,\nчто не работает для аппликатива\n\n(\u003c*\u003e)   :: Applicative f  =\u003e  f (a -\u003e b) -\u003e f a -\u003e f b -- infixl 4 \u003c*\u003e\nСогласно сигнатуре, аппликатив не может менять структуру контекста в процессе выполнения функции,\nконтекст жестко определен вторым параметром.\n\nпайплайн в аппликативе списка\nghci\u003e (,) \u003c$\u003e [1 .. 3] \u003c*\u003e ['a' .. 'c']\n[\n    (1,'a'),(1,'b'),(1,'c'),\n    (2,'a'),(2,'b'),(2,'c'),\n    (3,'a'),(3,'b'),(3,'c')]\n\nпайплайн в монаде списка, результат идентичен\nghci\u003e do { a \u003c- [1 .. 3]; b \u003c- ['a' .. 'c']; return (a, b) }\n[(1,'a'),(1,'b'),(1,'c'),(2,'a'),(2,'b'),(2,'c'),(3,'a'),(3,'b'),(3,'c')]\n\nсмотрите: вложенный цикл мы поменяли, он начинается со значения взятого из внешнего цикла\nв итоге поменялась структура - размер списка (влияем на эффект)\nпопробуйте сделать это в аппликативе :)\nghci\u003e do { a \u003c- [1 .. 3]; b \u003c- [a .. 3]; return (a, b) }\n[\n    (1,1),(1,2),(1,3),\n    (2,2),(2,3),\n    (3,3)]\n\n```\napplicative vs monad\n\n## links\n\n- The standard Haskell libraries feature a number of type classes with algebraic or category-theoretic underpinnings https://wiki.haskell.org/Typeclassopedia\n- Ninety-Nine Problems in Haskell https://stepik.org/course/101204/info\n- Pronunciation https://wiki.haskell.org/Pronunciation\n- hooogle https://hoogle.haskell.org/?hoogle=State\u0026scope=set%3Ahaskell-platform\n- в Haskell для любого типа, для которого определен и выполняется первый закон функтора, выполняется и второй https://www.schoolofhaskell.com/user/edwardk/snippets/fmap\n- Theorems for free / Philip Wadler https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf\n- Real World Haskellby Bryan O'Sullivan, Don Stewart, and John Goerzen https://book.realworldhaskell.org/read/using-parsec.html\n- SKIing with Y*, Iota and Ackermann http://www.type.sh/?p=161\n- Monad vs Applicative https://stackoverflow.com/questions/23342184/difference-between-monad-and-applicative-in-haskell\n- GeneralizedNewtypeDeriving https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/newtype_deriving.html#extension-GeneralisedNewtypeDeriving\n- phantom type https://wiki.haskell.org/Phantom_type\n- The Monad.Reader https://themonadreader.wordpress.com/\n- Alternative and MonadPlus https://en.wikibooks.org/wiki/Haskell/Alternative_and_MonadPlus\n- MonadPlus and Monoid serve different purposes https://stackoverflow.com/questions/10167879/distinction-between-typeclasses-monadplus-alternative-and-monoid\n- Скандальная правда об обработке исключений в Haskell https://eax.me/haskell-exceptions/\n- Haskell mini-patterns handbook https://kowainik.github.io/posts/haskell-mini-patterns\n- The Continuation Monad https://www.haskellforall.com/2012/12/the-continuation-monad.html\n- Монада ContT в картинках (Haskell) https://habr.com/ru/articles/149174/\n- How and why does the Haskell Cont monad work? https://stackoverflow.com/questions/3322540/how-and-why-does-the-haskell-cont-monad-work\n- Continuation passing style https://en.wikibooks.org/wiki/Haskell/Continuation_passing_style\n- The Evolution of a Haskell Programmer https://willamette.edu/~fruehr/haskell/evolution.html\n- ListT done right https://wiki.haskell.org/ListT_done_right\n- Understanding Functional Dependencies via Constraint Handling Rules https://www.google.com/search?q=Understanding+Functional+Dependencies+via+Constraint+Handling+Rules\n- Functional dependencies https://wiki.haskell.org/Functional_dependencies\n- creating data structures like cyclic or doubly linked lists https://wiki.haskell.org/Tying_the_Knot\n- debug print https://stackoverflow.com/questions/12550276/haskell-debug-print-in-if-block\n- What I Wish I Knew When Learning Haskell https://github.com/sdiehl/wiwinwlh https://smunix.github.io/dev.stephendiehl.com/hask/tutorial.pdf\n- No MaybeT https://github.com/haskell/mtl/issues/6\n- Write your own stream processing library Part1 https://kseo.github.io/tags/coroutine.html\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fvasnake%2Ffp_haskell-c2","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fvasnake%2Ffp_haskell-c2","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fvasnake%2Ffp_haskell-c2/lists"}