Miscellaneous articles. The readme is the table of contents.
This repository is filled with articles I have written and needed online for various reasons. Below is a short summary of the articles available publically. The repository may contain files not mentioned below, in which case they're probably unfinished or otherwise not worth reading at this point.
build
function explained, which is an important piece in a
popular optimization techniqueCont
monad explained
fix
function, one possible fundamental building block of
recursionsequence
.==
operator in various languages. Spoiler, it's terribly boring, because it
should be.Reader
monad instance starting from something readable and comprehensible.Functor
law is redundant
type
is about avoiding type
synonyms, and
using Data.Tagged
instead.zipWith const
is my favorite Haskell functionApplicative-Monad proposal (AMP) is the original text of the 2013 Applicative-Monad proposal, which was the starting point for Applicative becoming a superclass of Monad in GHC 7.10.
Rules for typeclass laws wasn't proosed yet
The MonadFail proposal is a proposal similar to the AMP, with the goal of
removing fail
from the Monad
typeclass.