Compile-Time Type Safety
The cluster focuses on debates about the value of static, compile-time type checking versus runtime checks in programming languages, highlighting benefits like error prevention and optimization, with references to languages like TypeScript, Java, Haskell, and Zig.
Activity Over Time
Top Contributors
Keywords
Sample Comments
what is the usage of your type if you can not check them through the compiler ?
It's almost like you want compile time type safety
You don't need to forsake any of that to get compile-time type checking.
Only if it's useful compile-time type checking. Unlike Java and C.
Type safety at compile time to begin with.
static type checking is like compile-time asserts -- it doesn't add to solution complexity, it just verifies assumptions about inherent existing complexity.
A typed language would absolutely fail this at compile time.
Compile-time safety is not achieved which is the point.
except if you want type checking at compilation time
It would be nice if typescript had a option to compile with (obviously limited) runtime checks