Haskell §

Created: 2023-01-10 16:03

An advanced, purely functional programming language

Concepts §

• Monad Transformers
• GADTs
• Kinds
• Fairbairn threshold

Notes §

• Data Structures in Haskell
• Boolean blindness
• Unpack pragma requires strictness
• seq, laziness, and tail call optimization
• Plated lenses for AST traversal
• Use Monad to implement Applicative and Functor instances
• Composition and Kleisli composition are Monoids
• Logging libraries in Haskell
• Functional dependencies narrow down the possible instances of a type class

Libraries and frameworks §

• Servant
• tie