News for hackers. Stuff that matters.

A comment on An introduction to type programming in TypeScript. Parent comment

Re:An introduction to type programming in TypeScript by tomca32 on Wednesday February 02, 2022 @10:38AM (#30179058)
I’m curious about the example of unintentional complexity and type system lies in Rust?

Or did you mean to say that oCaml, Rust, and Coq have intentional design complexity?

[ Parent | on HN ]
Re:An introduction to type programming in TypeScript by mamcx on Wednesday February 02, 2022 @11:02PM (#30188491)
> have intentional design complexity?

yes, more like this (in special Rust, that deal with many challenges like system programming, safety, etc).

[ Parent | on HN ]