4 articles
A programmer's journey from Pascal to C, then web dev in PHP/Python, and finally Rust for a web app. Despite loving Rust's control and safety, they switched to Node.js due to faster iteration, better web ecosystem, and type-safe templates, concluding Rust excels in CPU-heavy tasks but Node.js is more practical for dynamic web development.
Salt is a systems language with Z3-proven safety at compile time, no runtime overhead, and arena-based memory management. It offers high performance, verified contracts, and ergonomic syntax.
The author argues that judging a language by its syntax, like declaration style or semicolons, is misguided. They emphasize that semantics are more important, as syntax can often be changed without altering the language's core functionality. They believe this focus on syntax often comes from inexperience or first exposure bias.
Forget HM vs. Bidir type systems. Ask: "Does my language need generics?" Bidirectional typing is a superset of HM, supports generics via unification, or works without for simpler needs.