Wearing the hair shirt Wearing the hair shirt - Microsoft Research
Wearing the hair shirt Wearing the hair shirt - Microsoft Research Wearing the hair shirt Wearing the hair shirt - Microsoft Research
from research.microsoft.com
More from this publisher
27.12.2013
Views
Our biggest mistake Using the scary term “monad” rather than “warm fuzzy thing”
What really matters? Laziness Purity and monads Type classes Sexy types
- Page 1 and 2: Wearing the hair shirt A retrospect
- Page 3 and 4: Haskell is 15 years old (born FPCA
- Page 5 and 6: Timeline Sept 87: kick off Apr 90:
- Page 7 and 8: Reflections on the process The i
- Page 9: Reflections on process Self-appoin
- Page 12 and 13: Syntactic redundancy Seductive ide
- Page 14 and 15: “Expression style” Define a fun
- Page 16 and 17: Example (ICFP02 prog comp) Pattern
- Page 18 and 19: What really matters?
- Page 20 and 21: But... Laziness makes it much, muc
- Page 22: Combinator libraries Recursive valu
- Page 25 and 26: Monadic I/O A value of type (IO t)
- Page 27 and 28: Connecting I/O operations (>>=) ::
- Page 29 and 30: Control structures Values of type (
- Page 31 and 32: Monads Exceptions type Exn a = E
- Page 33 and 34: The IO monad The IO monad allows
- Page 35 and 36: What have we achieved? ...without
- Page 37 and 38: Open challenge 1 Open problem: the
- Page 39: Monad summary Monads are a beautif
- Page 44 and 45: Type classes class Eq a where (==)
- Page 46 and 47: Type classes over time Type classe
- Page 48 and 49: Quickcheck propRev :: [Int] -> Bool
- Page 50 and 51: Extensiblity Like OOP, one can add
- Page 52 and 53: Type-based dispatch class Num a whe
- Page 54 and 55: Cool generalisations Multi-paramet
- Page 56: Type classes summary A much more f
- Page 59 and 60: Is sexy good? Yes! Well typed prog
- Page 61 and 62: Destination = F w
- Page 63 and 64: Modules Porsche High power, but poo
- Page 65 and 66: Encapsulating it all data ST s a --
- Page 67 and 68: Shirts off to Wadler Type classes
Our biggest mistake<br />
Using <strong>the</strong> scary term<br />
“monad”<br />
ra<strong>the</strong>r than<br />
“warm fuzzy thing”
Change language