Haskell
(Up) | See also: Functional Programming, Programming Languages
Web resources
Libraries
Hoogle ★★
Prelude ★
Data.Map ★
Data.Set ★
A Haskell regular expression tutorial ★
probability: Probabilistic Functional Programming
hmark: A tool and library for Markov chains based text generation.
Cabal
The Haskell Cabal \| Overview ★
Welcome to the Cabal User Guide --- Cabal 3.10.1.0 User\'s Guide ★
haskell - ghci can\'t find package after package installed with cabal - Stack Overflow ★
Ops
haskell - Official Image \| Docker Hub ★
jhc ★
yobson/riscos-gccsdk-jhc - Docker Image \| Docker Hub
Monads
All About Monads - HaskellWiki ★
monads - Using \'Either\' in Haskell - Stack Overflow ★
haskell - What monads can be expressed as Free over some functor? - Stack Overflow ★
monads - Functor / Applicative instances for State in Haskell - Stack Overflow ★
Defining a new monad in haskell raises no instance for Applicative - Stack Overflow ★
GADTs
haskell - Equality for GADTs which erase type parameter - Stack Overflow ★
(in Prolog) Index of /nofib/real/prolog/ ★
(in Relational Programming) A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo! ★★★
Repositories
(in Compiler Construction) radian-software/kalyn: self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch. ★
(in Compiler Construction) bollu/tiny-optimising-compiler: A tiny optimising compiler for an imperative programming language written in haskell ★
(in Coq) plclub/hs-to-coq: Convert Haskell source code to Coq source code. ★
(in Scheme) siraben/r5rs-denot: A correct Scheme interpreter derived from the R5RS spec\'s formal semantics, written in Haskell. ★★
(in Unification) parsonsmatt/unification: implementation of the first order logic unification algorithm in Haskell ★
(in Unification) jozefg/higher-order-unification: A small implementation of higher-order unification ★ 💭
Papers
Faking it (online @ www.cambridge.org) ★ 💭
(in Name Binding) A Simple Take on Typed Abstract Syntax in Haskell-like Languages (online @ tidsskrift.dk) ★ 💭