5 ms·
And yet nobody has yet succeeded in creating a type system that is usable for representing all but the simplest constraints.
by s17n 4y ago
And yet nobody has yet succeeded in creating a type system that is usable for representing all but the simplest constraints.
- SkyMarshal 4y agoWe must have different definitions for “simplest constraints” then.
- s17n 4y agoNo, just different definitions of "usable". Although it's worth noting that an average test is testing stuff that even the most advanced type system never could.