undefined | Better HN

0 pointss17n3y ago0 comments

And yet nobody has yet succeeded in creating a type system that is usable for representing all but the simplest constraints.

0 comments

SkyMarshal3y ago

We must have different definitions for “simplest constraints” then.

s17nOP3y ago

No, 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.

j / k navigate · click thread line to collapse

0 pointss17n3y ago0 comments

And yet nobody has yet succeeded in creating a type system that is usable for representing all but the simplest constraints.

0 comments

SkyMarshal3y ago

We must have different definitions for “simplest constraints” then.

s17nOP3y ago

No, 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.

j / k navigate · click thread line to collapse