Minimizing the Slippery Surface of Failure
summary
Shows how Scala dependent typing and implicits produce a CLI library prototype (rapture CLI) that encodes parameter structure in types so lookups are provably safe, collapsing multiple failure points into one early parse. Uses dependent method types, higher-kinded types and a modes mechanism (same call returns Try/Option/Future by implicit in-scope mode) and a typed i18n map that encodes available locales in the type. Implementation compiles and works, performance array-macro backing is proposed but not yet implemented.
AI-written summary · about
chapters (15)
- 0:00Introduction
- 0:41Slippery Road
- 2:41RRLS
- 6:43Modes
- 15:19I18N
- 18:21I String of En
- 20:02Phantom Types
- 28:07Soso
- 28:47Resize
- 33:35Products
- 35:39Combinator
- 40:22Type
- 43:49Handle
- 50:36Summary
- 56:31Conclusion
