Alexandria Library

A curated collection of awesome articles

Here are some ressources related to Haskell, Typeclass, Functor. Hoping you will find learning material, alternative tools or just some interesting stuff.

Home > Programming, Machine Learning, Quan... > Functional programming, Haskell, Li... > Haskell, Functional programming, Ty... > Haskell, Typeclass, Functor

Articles

Haskell is not category theory
See discussion (52 comments, 124 points) - Archive
Introduction to Haskell Typeclasses
See discussion (15 comments, 120 points) - Archive
Algebraic Data Types in Haskell
See discussion (67 comments, 102 points) - Archive
An Introduction to Type Level Programming in Haskell
See discussion (79 comments, 184 points) - Archive
Typed Programs Don't Leak Data
See discussion (55 comments, 129 points) - Archive
Names are not type safety
See discussion (125 comments, 262 points) - Archive
Haskell Mini-Patterns Handbook
See discussion (30 comments, 328 points) - Archive
A primer on the cruel, tacit laws of type-level programming in Haskell
See discussion (62 comments, 117 points) - Archive
Implement with types, not your brain (2019)
See discussion (119 comments, 192 points) - Archive
Implement with Types, Not Your Brain
See discussion (140 comments, 103 points) - Archive
Generalized Algebraic Data Types: A Primer
See discussion (30 comments, 182 points) - Archive
Idiomatic Monads in Rust
See discussion (88 comments, 174 points) - Archive
Higher-Order Type-Level Programming in Haskell [pdf]
See discussion (17 comments, 155 points) - Archive
And Monads for All: The State Monad
See discussion (64 comments, 91 points) - Archive
Haskell's kind system: a primer
See discussion (51 comments, 221 points) - Archive
The algebra and calculus of algebraic data types
See discussion (48 comments, 170 points) - Archive
Haskell’s State monad is not a monad (2014)
See discussion (69 comments, 103 points) - Archive
Understanding contravariance
See discussion (80 comments, 138 points) - Archive
Implementing and Understanding Type Classes (2014)
See discussion (26 comments, 118 points) - Archive
Return type polymorphism in Haskell
See discussion (72 comments, 116 points) - Archive
Typesafe Neural Networks in Haskell with Dependent Types
See discussion (18 comments, 140 points) - Archive
Haskell Typeclasses vs. C++ Classes
See discussion (79 comments, 155 points) - Archive
Basic Type-Level Programming in Haskell
See discussion (20 comments, 120 points) - Archive
The Future of Standard ML (2013) [pdf]
See discussion (79 comments, 138 points) - Archive
GADTs Meet Their Match [pdf]
See discussion (11 comments, 90 points) - Archive
Haskell, Monads and Purity
See discussion (123 comments, 141 points) - Archive
A Gentle Introduction to Monad Transformers – or, Values as Exceptions
See discussion (54 comments, 119 points) - Archive
Thinking in Types
See discussion (118 comments, 168 points) - Archive
Scalable Program Architectures
See discussion (79 comments, 131 points) - Archive
Monads Made Difficult
See discussion (67 comments, 139 points) - Archive
A Pattern Language
See discussion (44 comments, 219 points) - Archive
The algebra and calculus of algebraic data types (2015)
See discussion (45 comments, 128 points) - Archive
Types as Interfaces
See discussion (194 comments, 159 points) - Archive
Where does the name "algebraic data type" come from?
See discussion (71 comments, 131 points) - Archive
Higher-kinded bounded polymorphism in OCaml (2021)
See discussion (10 comments, 141 points) - Archive