Programming Safely in an Uncertain World (Part 3)
summary
JavaScript code that parses JSON, looks up path X.Y.Z, checks it’s an array of strings, converts hex strings to integers and sums them is shown working as a small four-step pipeline using Sanctuary Maybe/Either/Future and functions like gets, map, chain, sequence and join. Runtime type identifiers and fantasy laws are used to prove lawfulness; packages are split into separate maybe either identity pair descending modules; performance and stack-safe recursion via chainRec are discussed and the pipeline demonstrably returns Nothing on failures.
AI-written summary · about
chapters (6)
- 0:00Start
- 6:37Type Error
- 17:07Mapping and Then Sequencing
- 30:05Fantasy Laws
- 31:19Specification for Type Identifiers
- 34:25Affordances for for Recursion
related talks
27mWhat if your brain were ~*literally*~ JavaScript
43mEverything You Always Wanted to Know About Functional Programming...
17mJavaScript and mathematical computing across servers and clients
02h 50mFunctional Array Funhouse Intensive - Part 3 of 5
58mFunctional Array Funhouse Intensive - Part 2 of 5
46m"Melange: The Next Frontier in Type-Safe Web Development"
09mOuvroir de Code Potentiel
38mA Ray of Hope: Array Programming for the 21st Century