|
|
|
|
|
|
by Yokohiii
31 days ago
|
|
|
I know all that. The issue is that the type system only cares about classes and interfaces. It's all userland abstract types. If a type system doesn't offer safety AND efficiency (i.e. for primitives) I see no value for me. I don't see that happening. |
|
|