Softly, softly typing
summary
Claims that soft typing can be explored practically in Ruby by building a toy static analyzer and demonstrates it end to end: a parser and transform with Parslet, evaluation and a type reconstruction engine that infers function types with type variables, union/null handling and warnings, plus a nondeterministic maybe operator that forces rejection or soft warnings. Live code uses Seeing Is Believing, yields concrete examples (functions, apply, inferred signatures), sometimes emits type errors, and the full working code is on GitHub.
AI-written summary · about
chapters (14)
- 0:00Start
- 0:16Soft Typing
- 6:06Write a Parser
- 8:21Sample Program
- 10:52Identifiers
- 13:08Transform
- 16:05Calling on a Variable
- 18:11Eval Methods
- 21:18Type Check Method
- 22:15Functions
- 23:45Function Evaluation
- 24:59Type Checker
- 36:06The Type Theory
- 41:27Non Determinism
related talks
53mAn introduction to typed Ruby programming
32mGradual Typing in Ruby - A Three Year...
21mConsider Static Typing
42mTypes As Premature Optimization
39mType Checking Ruby Programs with Annotations
36mA Static Type Analyzer of Untyped Ruby Code for Ruby 3
39mGradual typing of Ruby at Scale
48mGradual typing for Ruby at Scale with Sorbet