> "Building a full-fledged type system such as TypeScript is a massive effort; that’s why we decided to take a different direction and start by building a subset of the type system that requires stricter typing."
I don't understand why they're building a type system when TypeScript exists, just to name one of great projects they mention.
Is there a manifesto somewhere that describes why this project is taking the high-risk path of boiling the ocean, instead of defining a set of best-in-class projects and improving integration over time? (The "Philosophy" page in the docs isn't helpful in this respect.)
I don't understand why they're building a type system when TypeScript exists, just to name one of great projects they mention.
Is there a manifesto somewhere that describes why this project is taking the high-risk path of boiling the ocean, instead of defining a set of best-in-class projects and improving integration over time? (The "Philosophy" page in the docs isn't helpful in this respect.)