Functional Programming

h1. Haskell

h2. Изучение

Денис Москвин. Функциональное программирование на языке Haskell. stepik.org, видеокурс

> "Часть 1.":https://stepik.org/course/75/syllabus

> "Часть 2.":https://stepik.org/course/693/syllabus

"О Haskell по-человечески":https://www.ohaskell.guide

"Learn You a Haskell for Great Good!":http://learnyouahaskell.com

"Real World Haskell by Bryan O'Sullivan, Don Stewart, and John Goerzen":http://book.realworldhaskell.org

"ru.haskell— сообщество русскоговорящих Haskell-разработчиков":https://ruhaskell.org

> "Полезные ссылки":https://ruhaskell.org/links.html

"ru.haskell wiki":https://github.com/ruHaskell/ruhaskell/wiki

> "Настройка редакторов для поддержки Haskell":https://github.com/ruHaskell/ruhaskell/wiki/%D0%9D%D0%B0%D1%81%D1%82%D1%80%D0%BE%D0%B9%D0%BA%D0%B0-%D1%80%D0%B5%D0%B4%D0%B0%D0%BA%D1%82%D0%BE%D1%80%D0%BE%D0%B2-%D0%B4%D0%BB%D1%8F-%D0%BF%D0%BE%D0%B4%D0%B4%D0%B5%D1%80%D0%B6%D0%BA%D0%B8-Haskell

"Haskell Cheatsheet":http://bxt.github.io/Ludus/haskell-cheatsheet/

"haskell-trainings":https://github.com/google/haskell-trainings/releases

"Stack cookbook":https://guide.aelve.com/haskell/stack-cookbook-ai0adh03

h2. snippets

* [[HaskellMaybeChecks]]

* [[HaskellTypeLevelMachine]]

h2. ghci debugging

<pre>

:set -fbreak-on-error -fbreak-on-exception

:trace machineMain

:force _exception

:hist

:back

</pre>

h2. libs

* "named":https://github.com/monadfix/named arguments

* "binary-parsers":https://www.stackage.org/lts-13.5/package/binary-parsers-0.2.3.0

* "concat":https://github.com/conal/concat ("z3cat":https://github.com/jwiegley/z3cat/blob/master/test/Main.hs || "smt example":https://github.com/conal/concat/blob/master/examples/src/ConCat/SMT.hs) — *"Compiling to categories":http://conal.net/papers/compiling-to-categories/* — compiler plugin for translating normal Haskell functions (on standard types) to SMT, etc.

* "SBV: SMT Based Verification":https://leventerkok.github.io/sbv/ — translates Haskell functions on custom symbolic types

* "refined":http://nikita-volkov.github.io/refined/ — refinement types <pre>type ProperFraction = Refined (And (Not (LessThan 0)) (Not (GreaterThan 1))) Double</pre>

* "hedgehog":https://github.com/hedgehogqa/haskell-hedgehog — random test gen (QuickCheck)

* "dejafu":https://github.com/barrucadu/dejafu — concurrency testing

* "GHC.Stack":https://hackage.haskell.org/package/base-4.10.0.0/docs/GHC-Stack.html — can get code position for DSL

* "Data.Sequence":http://hackage.haskell.org/package/containers-0.6.0.1/docs/Data-Sequence.html — list with fast append on both sides

h2. exts

* "RebindableSyntax":https://ocharles.org.uk/guest-posts/2014-12-06-rebindable-syntax.html — overloading built-in operators / do notation

* "NullaryTypeClasses":https://ocharles.org.uk/posts/2014-12-10-nullary-type-classes.html — global implementation of one thing

* "DataKinds":http://ponies.io/posts/2014-07-30-typelits.html , TypeFamilies (+ GHC.TypeLits) — type-level annotations

** "Basic Type Level Programming in Haskell":https://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html

** "Parsing type-level strings in Haskell":https://kcsongor.github.io/symbol-parsing-haskell/

** "Servant, Type Families, and Type-level Everything":https://arow.info/blog/posts/2015-07-10-servant-intro.html

** "Haskell Type Names as Strings":http://www.mchaver.com/posts/2017-12-12-type-name-to-string.html

h2. other

* "ST Monad":https://medium.com/permutive/having-your-cake-and-eating-it-9f462bf3f908 for imperative algorithms

* "A Rosetta Stone for Haskell Abstractions":http://reduction.io/essays/rosetta-haskell.html Applicative, StateT, Lens