Recommended
More Related Content
Similar to PureScript Tutorial 1
Similar to PureScript Tutorial 1 (20)
Recently uploaded
Recently uploaded (20)
PureScript Tutorial 1
- 1. PureScript Tutorial 1 Ray Shih
- 2. What is PureScript • PureScript is • A pure functional language • compiles to JavaScript • like Haskell
- 5. Why Pure Functional • Referential Transparency ??? • Composability ???
- 7. x = x + 1 so x = ?
- 8. Easier to understand • Easier to build large program • Easier to parallelize • Easier to test
- 9. Why not ___ ? • JavaScript • No type checking • FlowType/TypeScript? • OK, but can you enforce it? • Ugly syntax
- 10. Why not ___ ? • Haskell (ghcjs) • Way too heavy
- 11. Why not ___ ? • ELM • No generic (less fun) • Elm Is Wrong • only work for certain env
- 13. Fun!
- 15. Env setup
- 16. Setup Env • try.purescript.org • install psc, bower, npm • pulp init — init project • pulp psci — interactive env • pulp run — run
- 17. Hello world!
- 18. Chapter 3: Functions and Records
- 19. Chapter 3: Functions and Record • Simple Types • Number, String, Boolean • Array • Record (this is very different from Haskell) • Function • Define/Invoke • Quantified Type • Curried • infix • compose • Define Types
- 20. Simple Types • Number • 3 :: Int • 4.0 :: Number • String • “Hello world” :: String • Boolean • true :: Boolean • Array • [1,2,3] :: Array Int
- 22. Record
- 23. Function
- 29. Where clause
- 30. Define Type!
- 31. Chapter 4: Recursion, Maps and Folds • Recursion • fib • map, filter, flatten • concatMap • Do notation • Guard • Folds
- 32. Recursion: Fib
- 34. map
- 35. filter, flatten
- 36. concatMap
- 37. Do notation
- 38. Do notation
- 39. Do notation
- 40. Do notation
- 41. Folds
- 42. Chapter 5: Pattern Matching • Simple • Guards • Array • Record Patterns and Row polymorphism • Named • case of • partial • ADT — data, newtype
- 43. Simple, Guard
- 44. Array Patterns
- 46. Named
- 47. Case Expressions
- 48. Partial
- 50. newtype
- 51. References • Frontend framework comparison