[dartos]

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]

It prevents a lot more than that. For example, it prevents data race conditions through Send/Sync traits propagation.