Download as PDF, PPTX
![Simple Types
• Number
• 3 :: Int
• 4.0 :: Number
• String
• “Hello world” :: String
• Boolean
• true :: Boolean
• Array
• [1,2,3] :: Array Int](https://image.slidesharecdn.com/purescripttutorial1-170818055245/75/PureScript-Tutorial-1-20-2048.jpg)
Uploaded byRay Shih
PureScript Tutorial 1
This document provides an introduction and overview of PureScript, including: - What PureScript is and why it was created (a pure functional language that compiles to JavaScript as an alternative to languages like JavaScript, Haskell, ELM) - An overview of PureScript concepts like functions, records, recursion, maps/folds, pattern matching, and algebraic data types - Instructions for setting up the PureScript development environment and writing a "Hello World" program
PureScript Tutorial 1
- 1.
- 2. What is PureScript •PureScript is • A pure functional language • compiles to JavaScript • like Haskell
- 3.
- 4.
- 5. Why Pure Functional •Referential Transparency ??? • Composability ???
- 6.
- 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
- 12.
- 13.
- 15.
- 16. Setup Env • try.purescript.org •install psc, bower, npm • pulp init — init project • pulp psci — interactive env • pulp run — run
- 17.
- 18. Chapter 3: Functions andRecords
- 19. Chapter 3: Functions andRecord • 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.
- 23.
- 24.
- 25.
- 27.
- 28.
- 29.
- 30.
- 31. Chapter 4: Recursion,Maps and Folds • Recursion • fib • map, filter, flatten • concatMap • Do notation • Guard • Folds
- 32.
- 33.
- 34.
- 35.
- 36.
- 37.
- 38.
- 39.
- 40.
- 41.
- 42. Chapter 5: PatternMatching • Simple • Guards • Array • Record Patterns and Row polymorphism • Named • case of • partial • ADT — data, newtype
- 43.
- 44.
- 45.
- 46.
- 47.
- 48.
- 49.
- 50.
- 51. References • Frontend frameworkcomparison