git @ Cat's Eye Technologies The-Glosscubator / master by-topic / Haskell
master

Tree @master (Download .tar.gz)

Haskell

(Up) | Wikipedia: Haskell | See also: Functional Programming, Programming Languages

Works regarding the programming language Haskell, including not only the programming language itself, but also its ecosystem.

Web resources

8 ways to report errors in Haskell | Random Hacks ★

A Haskell regular expression tutorial ★

Equality for GADTs which erase type parameter ★

Using \'Either\' in Haskell ★

Functor / Applicative instances for State in Haskell ★

Defining a new monad in haskell raises no instance for Applicative ★

Libraries

Hoogle ★★

Prelude ★

Debug.Trace ★

Data.Map (0.4.0) ★

Data.Map ★

Data.Map.Strict ★

Data.Set ★

Data.List ★

Data.Either ★

Text.Parsec ★

Control.Monad ★

Control.Monad.State.Lazy ★

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 ★

ghci can\'t find package after package installed with cabal ★

Ops

Installation - GHCup ★

haskell - Official Image | Docker Hub ★

jhc ★

Mark P Jones: Hugs Archive ★

Mark P Jones: Gofer Archive ★

yobson/riscos-gccsdk-jhc - Docker Image | Docker Hub

(in Operational Semantics) apfelmus - The Operational Monad Tutorial ★

(in Prolog) Index of /nofib/real/prolog/ ★

(in Relational Programming) A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo! ★★★

Repositories

haskell/docker-haskell ★

(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) ★ 💭

History of by-topic / Haskell @master git clone https://git.catseye.tc/The-Glosscubator/