Advanced Type Systems. What Java Still Lacks from Rust
summary
Talk surveys advanced type-system features from Rust, Go and other languages and compares them to what Java currently offers (including recent pattern-matching additions). It explains specific missing concepts such as the never type, issues with Go’s error handling, and monadic patterns, and illustrates these points with the speaker’s experience building an ergonomic API for advanced Protobuf parsing.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 2:52Advanced type systems
- 12:21Algebraic types problem
- 17:19Sum types in Java
- 21:42Error handling in Go
- 26:19Monads and functional approach
- 33:05Typed request parsing
- 37:20Summary and benefits
- 40:14Exotic types in systems
- 45:11Java's true flaws
