├── index.html ├── readme.org └── sites.org /index.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | Haskell Reading Group 8 | 9 | 10 | 180 | 181 | 227 | 228 | 229 |
230 |
231 |

Haskell Reading Group

232 |

Fork me on GitHub || By @themattchan and @bryangarza

233 |
    234 |
  1. why functional programming is the correct way to program 235 |
    2. 240 |
  2. the elegance of functional programming 241 |
    3. 245 |
  3. folds 246 |
    4. 249 |
  4. monads (and typeclasses) 250 |
    5. 253 |
  5. applicatives 254 |
    6. 257 |
  6. typeclasses and the typeclass hierarchy 258 |
    7. 263 |
  7. parametricity and program calculation 264 |
    8. 268 |
  8. program calculation, contd 269 |
    9. 272 |
  9. fusion and optimisation 273 |
    10. 276 |
  10. DSL embeddings 277 |
    11. 281 |
  11. DSLs, contd 282 |
    12. 285 |
286 | 287 |

288 | extras 289 |

290 | 302 |
303 | 304 | 305 | -------------------------------------------------------------------------------- /readme.org: -------------------------------------------------------------------------------- 1 | #+TITLE: Haskell Reading Group 2 | #+SUBTITLE: [[https://github.com/hackwithlambda/reading-group][Fork me on GitHub]] || By [[http://themattchan.com/][@themattchan]] and [[https://bryangarza.github.io/][@bryangarza]] 3 | #+HTML_HEAD: 4 | #+OPTIONS: html-postamble:nil 5 | 6 | 1. why functional programming is the correct way to program 7 | + [[http://www.cse.chalmers.se/~rjmh/Papers/whyfp.pdf][Hughes. Why functional programming matters.]] [[https://www.youtube.com/watch?v=1qBHf8DrWR8][(talk)]] 8 | + optional [[https://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf][Landin. The next 700 programming languages]] 9 | + optional [[https://www.cs.cmu.edu/~crary/819-f09/Backus78.pdf][Backus. Can Programming Be Liberated from the von Neumann Style?]] 10 | 2. the elegance of functional programming 11 | + [[http://www.cs.tufts.edu/~nr/cs257/archive/richard-bird/sudoku.pdf][Bird. A program to solve Sudoku]] 12 | + [[http://www.cs.nott.ac.uk/~pszgmh/countdown.pdf][Hutton. The countdown problem.]] 13 | 3. folds 14 | + [[http://www.cs.nott.ac.uk/~pszgmh/fold.pdf][Hutton. A tutorial on the universality and expressiveness of fold]] 15 | 4. monads (and typeclasses) 16 | + [[https://page.mi.fu-berlin.de/scravy/realworldhaskell/materialien/the-essence-of-functional-programming.pdf][Wadler. The essence of functional programming]] 17 | 5. applicatives 18 | + [[http://www.staff.city.ac.uk/~ross/papers/Applicative.pdf][McBride and Paterson. Applicative programming with effects]] 19 | 6. typeclasses and the typeclass hierarchy 20 | + [[http://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf][Wadler and Blott. How to make ad-hoc polymorphism less ad-hoc.]] 21 | + https://wiki.haskell.org/Typeclassopedia 22 | + Semigroup, Monoid, Arrow, Category, [[Https://hackage.haskell.org/package/comonad][Comonad]], and the other typeclasses by Edward Kmett 23 | 7. parametricity and program calculation 24 | + [[https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf][Wadler. Theorems for free!]] 25 | + maybe? [[http://www4.di.uminho.pt/~mac/Publications/phd.pdf][Cunha. Point-free Program Calculation]] 26 | 8. program calculation, contd 27 | + [[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.41.125&rep=rep1&type=pdf][Meijer, Fokkinga, and Paterson. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire]] 28 | 9. fusion and optimisation 29 | + [[http://ac.els-cdn.com/030439759090147A/1-s2.0-030439759090147A-main.pdf?_tid=77caccdc-fcac-11e6-968b-00000aacb35d&acdnat=1488173015_5ee058d8bb962798340f34943f4c6c4b][Wadler. Deforestation: transforming programs to eliminate trees]] 30 | 10. DSL embeddings 31 | + [[http://www.cs.ru.nl/~W.Swierstra/Publications/DataTypesALaCarte.pdf][Swierstra. Data types a la carte]] 32 | + [[http://www.cs.nott.ac.uk/~psztxa/publ/beast.pdf][Swierstra and Altenkirch. Beauty in the Beast.]] 33 | 11. DSLs, contd 34 | + [[http://okmij.org/ftp/tagless-final/JFP.pdf][Carette, Kiselyov, and Shan. Finally Tagless, Partially Evaluated]] 35 | 36 | extras 37 | - [[https://www.st.cs.uni-saarland.de/edu/seminare/2005/advanced-fp/docs/huet-zipper.pdf][Huet. The Zipper]] 38 | - [[http://strictlypositive.org/diff.pdf][McBride. The Derivative of a Regular Type is its Type of One-Hole Contexts]] 39 | - [[http://strictlypositive.org/CJ.pdf][McBride. Clowns to the left of me, jokers to the right.]] 40 | - [[https://rkrishnan.org/files/wadler-1985.pdf][Wadler. How to replace failure by a list of successes.]] 41 | - [[http://belle.sourceforge.net/doc/hughes95design.pdf][Hughes. The Design of a Pretty Printer.]] 42 | - [[http://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf][Wadler. A prettier printer.]] 43 | - [[http://www.cs.nott.ac.uk/~pszgmh/alacarte.pdf][Day and Hutton. Compilation a la Carte]] 44 | - [[https://www.cs.cmu.edu/~crary/819-f09/DamasMilner82.pdf][Damas and Milner. Principal type-schemes for functional programs.]] 45 | - https://wiki.haskell.org/Research_papers/Functional_pearls 46 | - https://www.cs.cmu.edu/~crary/819-f09/ 47 | -------------------------------------------------------------------------------- /sites.org: -------------------------------------------------------------------------------- 1 | #+TITLE: Haskell websites/weblogs 2 | 3 | Weblogs/people 4 | - [[http://blog.ezyang.com][EZ Yang]] 5 | - [[http://chrisdone.com/archive][Chris Done]] 6 | - [[http://www.haskellforall.com/][Haskell for all]] (Gabriel Gonzalez) 7 | - [[http://apfelmus.nfshost.com/blog.html][Apfelmus]] 8 | 9 | Discussion/Social 10 | - [[https://www.reddit.com/r/haskell][/r/haskell]] 11 | - [[https://wiki.haskell.org/Mailing_lists][Haskell mailing lists]] 12 | - [[https://wiki.haskell.org/IRC_channel][IRC channel]] (#haskell) 13 | 14 | Misc 15 | - [[http://www.haskellcast.com][The Haskell Cast]] (podcast) 16 | - [[https://planet.haskell.org][Planet Haskell]] (blog aggregator) 17 | --------------------------------------------------------------------------------