Wearing the hair shirt Wearing the hair shirt - Microsoft Research

More documents

Recommendations

Info

Good ideas from o<strong>the</strong>r languages List comprehensions [(x,y) | x
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 13 and 14: “Declaration style” Define a fu
Page 15 and 16: Fat vs thin Expression style •Let
Page 17 and 18: So much for syntax... What is impor
Page 19 and 20: Laziness John Hughes’s famous pa
Page 21 and 22: Laziness Laziness is jolly convenie
Page 24 and 25: Laziness keeps you honest Every ca
Page 26 and 27: Performing I/O main :: IO a A prog
Page 28 and 29: The do-notation getChar >>= \a -> g
Page 30 and 31: Monads generally A monad consists o
Page 32 and 33: Example: a type checker tcExpr :: E
Page 34 and 35: What have we achieved? The ability
Page 36 and 37: What we have not achieved Imperati
Page 38 and 39: Open challenge 2 Which would you pr
Page 40 and 41: Our biggest mistake Using the scary
Page 42: SLPJ conclusions Purity is more im
Page 45 and 46: Implementing type classes data Eq a
Page 47 and 48: Type classes are useful Type classe
Page 49 and 50: Quickcheck quickCheck :: Test a =>
Page 51 and 52: Type-based dispatch class Num a whe
Page 53 and 54: Type-based dispatch So the links to
Page 55 and 56: Qualified types Type classes are a
Page 58 and 59: Sexy types Haskell has become a lab
Page 60 and 61:
How sexy? Damas-Milner is on a cus
Page 62 and 63:
Modules ML functors Difficulty Hask
Page 64 and 65:
Modules Haskell has many features
Page 66 and 67:
Encapsulating it all runST :: (fora
Page 68:
The Haskell committee Arvind Lennar
show all

Wearing the hair shirt Wearing the hair shirt - Microsoft Research

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?