Modeling Data in Haskell for Beginners
summary
Starts by claiming real modeling is done with concrete types not prose and shows it: use GHCi and type signatures to write algebraic data types, count inhabitants (e.g. singletons =1, Bool=2, a three‑constructor type =3, product of two Bool =4), prefer Maybe/Either over ad‑hoc nulls, exploit phantom types for state tracking, use record/tuple syntax and pattern matching, and prototype a tiny parser to turn SVO strings into a verb data model. Exercises and REPL demos validate the approach.
AI-written summary · about
chapters (8)
- 0:00Start
- 4:33Constructors?
- 12:44What can this function do?
- 28:51How do we use Identity?
- 35:59Haskell datatype syntax
- 43:41Person with record syntax
- 55:57Nesting tuples
- 56:41Exercises
related talks
39mA few tips on modelling things in Scala
05mModeling Your Way to Consistency
32mSeriously, The Haskell Type Checker is Your Friend
25mLeveraging (algebraic data) types to make your UI rock solid
29mType Inference Techniques: Implementation and Formalization, Better Together
24mLet the Scala compiler work for you
40mHow to model your crazy data in TypeScript
36mData As The Fabric Of Your App