3 ms·
Author writes about types being applied for ergonomy, which is interesting. Types add static information that can be used by IDEs. But there are other reasons f
by rsrsrs86 3y ago
Author writes about types being applied for ergonomy, which is interesting. Types add static information that can be used by IDEs. But there are other reasons for using type systems: correctness and performance (unboxing, optimization)