3 ms·
The type system was built to describe memory layouts of types to the compiler. But I don’t think it prevents any more logic bugs than any other type system tha
by dartos 3y ago
The type system was built to describe memory layouts of types to the compiler.
But I don’t think it prevents any more logic bugs than any other type system that requires all branches of match and switch statements to be implemented. (Like elm for example)
- speed_spread 3y agoIt prevents a lot more than that. For example, it prevents data race conditions through Send/Sync traits propagation.