Haskell Reading Group

1. why functional programming is the correct way to program
   • Hughes. Why functional programming matters. (talk)
   • optional Landin. The next 700 programming languages
   • optional Backus. Can Programming Be Liberated from the von Neumann Style?
2. the elegance of functional programming
   • Bird. A program to solve Sudoku
   • Hutton. The countdown problem.
3. folds
   • Hutton. A tutorial on the universality and expressiveness of fold
4. monads (and typeclasses)
   • Wadler. The essence of functional programming
5. applicatives
   • McBride and Paterson. Applicative programming with effects
6. typeclasses and the typeclass hierarchy
   • Wadler and Blott. How to make ad-hoc polymorphism less ad-hoc.
   • https://wiki.haskell.org/Typeclassopedia
   • Semigroup, Monoid, Arrow, Category, Comonad, and the other typeclasses by Edward Kmett
7. parametricity and program calculation
   • Wadler. Theorems for free!
   • maybe? Cunha. Point-free Program Calculation
8. program calculation, contd
   • Meijer, Fokkinga, and Paterson. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
9. fusion and optimisation
   • Wadler. Deforestation: transforming programs to eliminate trees
10. DSL embeddings
    • Swierstra. Data types a la carte
    • Swierstra and Altenkirch. Beauty in the Beast.
11. DSLs, contd
    • Carette, Kiselyov, and Shan. Finally Tagless, Partially Evaluated

extras

• Huet. The Zipper
• McBride. The Derivative of a Regular Type is its Type of One-Hole Contexts
• McBride. Clowns to the left of me, jokers to the right.
• Wadler. How to replace failure by a list of successes.
• Hughes. The Design of a Pretty Printer.
• Wadler. A prettier printer.
• Day and Hutton. Compilation a la Carte
• Damas and Milner. Principal type-schemes for functional programs.
• https://wiki.haskell.org/Research_papers/Functional_pearls
• https://www.cs.cmu.edu/~crary/819-f09/