Actions
Haskell » History » Revision 33
« Previous |
Revision 33/90
(diff)
| Next »
Grigoriy Volkov, 06/04/2019 05:22 PM
Haskell¶
Изучение¶
Денис Москвин. Функциональное программирование на языке Haskell. stepik.org, видеокурс
О Haskell по-человечески
Learn You a Haskell for Great Good!
Real World Haskell by Bryan O'Sullivan, Don Stewart, and John Goerzen
ru.haskell— сообщество русскоговорящих Haskell-разработчиков
Haskell Cheatsheet
haskell-trainings
Stack cookbook
snippets¶
ghci debugging¶
:set -fbreak-on-error -fbreak-on-exception :trace machineMain :force _exception :hist :back
libs¶
- co-log
- named arguments
- binary-parsers
- concat (z3cat || smt example) — Compiling to categories — compiler plugin for translating normal Haskell functions (on standard types) to SMT, etc.
- SBV: SMT Based Verification — translates Haskell functions on custom symbolic types
- refined — refinement types
type ProperFraction = Refined (And (Not (LessThan 0)) (Not (GreaterThan 1))) Double
- hedgehog — random test gen (QuickCheck)
- dejafu — concurrency testing
- GHC.Stack — can get code position for DSL
- Data.Sequence — list with fast append on both sides
exts¶
- Existential Quantification
- RebindableSyntax — overloading built-in operators / do notation
- NullaryTypeClasses — global implementation of one thing
- DataKinds , TypeFamilies (+ GHC.TypeLits) — type-level annotations
other¶
- ST Monad for imperative algorithms
- A Rosetta Stone for Haskell Abstractions Applicative, StateT, Lens
- Is it possible to place inequality constraints on haskell type variables?
- Practical uses of the Tardis monad?: 'build a packet ... where the fixed-length lengths and offsets of some variable length data are sent out before the actual data themselves'
- Comonadic builders
- Typed final (aka, ``tagless-final'') style is a general method of embedding domain-specific languages (DSL)
- Control.Monad.Trans.Cont / CC-delcont / Delimited continuations in Haskell / A Monadic Framework for DelimitedContinuations
- Haskell's continuation monad
- https://github.com/cohomolo-gy/haskell-resources
- GHC's Specializer: Much More Than You Wanted to Know
- Type Classes and Constraints
- Overloading lambda
- TypeFamilies:
- HKD:
- http://web.archive.org/web/20190501095522/https://www.benjamin.pizza/posts/2017-12-15-functor-functors.html
- https://reasonablypolymorphic.com/blog/higher-kinded-data/
- https://stackoverflow.com/questions/49618667/deriving-instances-for-higher-kinded-data
- https://github.com/jcpetruzza/barbies#readme
- https://github.com/i-am-tom/higgledy
- https://hackage.haskell.org/package/rank2classes
- Constraints:
Updated by Grigoriy Volkov over 5 years ago · 90 revisions