• ners’ Zettelkasten
  • Software
  • Haskell
  • A crash course in Haskell
Home
Coffee 3
Hello, Zettel!
Software
The Blub Paradox
Git Worktree
Haskell
A crash course in Haskell
0. Motivation
1. Hello, Haskell!
2. Expressions
3. Lists
4. Functions
Exponential decay
Using Nix for Haskell projects
Lazy evaluation
Reversible parsing
Neovim 2
Nix 7
Programming without computers
Single responsibility principle
Unix as IDE

0. Motivation

Videos

  • Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
  • Haskell Amuse-Bouche
  • Functional architecture - The pits of success - Mark Seemann

Reading

  • Promote Haskell
  • The Haskell Pyramid
  • Abstraction, intuition, and the “monad tutorial fallacy”
  • Locked doors, headaches, and intellectual need
  • Empathy and subjective experience in programming languages
  • Parse, don’t validate
  • No, dynamic type systems are not inherently more open
  • Types as axioms, or: playing god with static types

Slides

  • What Makes Haskell Unique