Parse, Don't Validate and Type-Driven Design in Rust
(news.ycombinator.com)
1.
2.
A lightweight TypeScript library for assertion-based runtime data validation
(news.ycombinator.com)