First-class Dynamic Types

on YouTube ↗27m

" summary

Claim: patterns in Grace become first-class type objects that are looked up at runtime, matched via a uniform match API, and can carry transformed values back into callsites. Implementation uses the existing Grace pattern/match engine, reflection for structural tests, metadata brand-based tagging for nominal distinctions, and library patterns for ranges, enums, dependent constraints, decorators and invariants. Code is implemented as a simple lookup-and-match translation in the interpreter and demonstrably accepts, rejects, or coerces values at call and return points.

AI-written summary · about

" chapters (17)

1. 0:00Introduction
2. 1:08Grace
3. 5:23Generalize
4. 5:57How does it work
5. 7:02What can we do
6. 7:25Reflection
7. 11:42Range Types
8. 14:04enumerated Types
9. 15:21Constraint Types
10. 16:46Relative Patterns
11. 17:49Stringify
12. 20:01Invariance
13. 22:19decorator
14. 22:43list
15. 23:41hello string
16. 24:05active patterns
17. 24:29racket