Haskell ------- [(Up)](../../README.md#topics) | _See also: [Functional Programming](../Functional%20Programming/README.md#functional-programming), [Programming Languages](../Programming%20Languages/README.md#programming-languages)_ - - - - ### Web resources ### Libraries [Hoogle](https://hoogle.haskell.org/) ★★ [Prelude](https://hackage.haskell.org/package/base-4.18.0.0/docs/Prelude.html#v:and) ★ [Debug.Trace](https://hackage.haskell.org/package/base-4.18.0.0/docs/Debug-Trace.html#v:trace) ★ [Data.Map (0.4.0)](https://hackage.haskell.org/package/containers-0.4.0.0/docs/Data-Map.html) ★ [Data.Map](https://hackage.haskell.org/package/containers-0.6.7/docs/Data-Map.html) ★ [Data.Map.Strict](https://hackage.haskell.org/package/containers-0.6.7/docs/Data-Map-Strict.html#g:24) ★ [Data.Set](https://hackage.haskell.org/package/containers-0.6.7/docs/Data-Set.html) ★ [Data.List](https://hackage.haskell.org/package/base-4.18.0.0/docs/Data-List.html#v:foldr) ★ [Data.Either](https://hackage.haskell.org/package/base-4.18.0.0/docs/Data-Either.html) ★ [Text.Parsec](https://hackage.haskell.org/package/parsec-3.1.16.1/docs/Text-Parsec.html) ★ [Control.Monad](https://hackage.haskell.org/package/base-4.19.0.0/docs/Control-Monad.html) ★ [Control.Monad.State.Lazy](https://hackage.haskell.org/package/mtl-2.3.1/docs/Control-Monad-State-Lazy.html) ★ [A Haskell regular expression tutorial](http://www.serpentine.com/blog/2007/02/27/a-haskell-regular-expression-tutorial/) ★ [probability: Probabilistic Functional Programming](https://hackage.haskell.org/package/probability) [hmark: A tool and library for Markov chains based text generation.](https://hackage.haskell.org/package/hmark) ### Cabal [The Haskell Cabal \| Overview](https://www.haskell.org/cabal/index.html) ★ [Welcome to the Cabal User Guide --- Cabal 3.10.1.0 User\'s Guide](https://cabal.readthedocs.io/en/stable/) ★ [haskell - ghci can\'t find package after package installed with cabal - Stack Overflow](https://stackoverflow.com/questions/70220354/ghci-cant-find-package-after-package-installed-with-cabal) ★ ### Ops [Installation - GHCup](https://www.haskell.org/ghcup/install/) ★ [haskell - Official Image \| Docker Hub](https://hub.docker.com/_/haskell) ★ [jhc](http://repetae.net/computer/jhc/) ★ [Mark P Jones: Hugs Archive](https://web.cecs.pdx.edu/~mpj/hugsarc/index.html) ★ [Mark P Jones: Gofer Archive](https://web.cecs.pdx.edu/~mpj/goferarc/index.html) ★ [yobson/riscos-gccsdk-jhc - Docker Image \| Docker Hub](https://hub.docker.com/r/yobson/riscos-gccsdk-jhc/) ### Monads [All About Monads - HaskellWiki](https://wiki.haskell.org/All_About_Monads) ★ [monads - Using \'Either\' in Haskell - Stack Overflow](https://stackoverflow.com/questions/6290712/using-either-in-haskell) ★ [haskell - What monads can be expressed as Free over some functor? - Stack Overflow](https://stackoverflow.com/questions/14641864/what-monads-can-be-expressed-as-free-over-some-functor) ★ [monads - Functor / Applicative instances for State in Haskell - Stack Overflow](https://stackoverflow.com/questions/3533745/functor-applicative-instances-for-state-in-haskell#3533887) ★ [Defining a new monad in haskell raises no instance for Applicative - Stack Overflow](https://stackoverflow.com/questions/31652475/defining-a-new-monad-in-haskell-raises-no-instance-for-applicative) ★ ### GADTs [haskell - Equality for GADTs which erase type parameter - Stack Overflow](https://stackoverflow.com/questions/68110623/equality-for-gadts-which-erase-type-parameter) ★ _(in [Prolog](../Prolog/README.md#prolog))_ [Index of /nofib/real/prolog/](http://darcs.haskell.org/nofib/real/prolog/) ★ _(in [Relational Programming](../Relational%20Programming/README.md#relational-programming))_ [A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo!](https://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/) ★★★ ### Repositories [haskell/docker-haskell](https://github.com/haskell/docker-haskell) ★ _(in [Compiler Construction](../Compiler%20Construction/README.md#compiler-construction))_ [radian-software/kalyn: self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.](https://github.com/radian-software/kalyn) ★ _(in [Compiler Construction](../Compiler%20Construction/README.md#compiler-construction))_ [bollu/tiny-optimising-compiler: A tiny *optimising* compiler for an imperative programming language written in haskell](https://github.com/bollu/tiny-optimising-compiler) ★ _(in [Coq](../Coq/README.md#coq))_ [plclub/hs-to-coq: Convert Haskell source code to Coq source code.](https://github.com/plclub/hs-to-coq) ★ _(in [Scheme](../Scheme/README.md#scheme))_ [siraben/r5rs-denot: A correct Scheme interpreter derived from the R5RS spec\'s formal semantics, written in Haskell.](https://github.com/siraben/r5rs-denot) ★★ _(in [Unification](../Unification/README.md#unification))_ [parsonsmatt/unification: implementation of the first order logic unification algorithm in Haskell](https://github.com/parsonsmatt/unification) ★ _(in [Unification](../Unification/README.md#unification))_ [jozefg/higher-order-unification: A small implementation of higher-order unification](https://github.com/jozefg/higher-order-unification) ★ [💭](commentary/Chris%20Pressey.md#jozefg-higher-order-unification-a-small-implementation-of-higher-order-unification) ### Papers Faking it (online @ [www.cambridge.org](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/faking-it-simulating-dependent-types-in-haskell/A904B84CA962F2D75578445B703F199A)) ★ [💭](commentary/Chris%20Pressey.md#faking-it) _(in [Name Binding](../Name%20Binding/README.md#name-binding))_ A Simple Take on Typed Abstract Syntax in Haskell-like Languages (online @ [tidsskrift.dk](https://tidsskrift.dk/brics/article/view/20169)) ★ [💭](commentary/Chris%20Pressey.md#a-simple-take-on-typed-abstract-syntax-in-haskell-like-languages)