Miscellaneous articles. The readme is the table of contents.
This repository is a collection of articles on Haskell programming written by Quchen, covering topics ranging from fundamental concepts like type inference and recursion to practical techniques and language proposals. The most substantial component is an extensively documented tutorial on the Hindley-Damas-Milner type inference algorithm, written in literate Haskell style with abundant doctests and runnable examples that can be explored via GHCi or built using Stack or Cabal. The articles address a wide audience from beginners learning basic functional programming concepts to experienced developers interested in language design proposals such as the Applicative-Monad proposal and MonadFail.