4 ms·That's more of a contract system than a type system, though.by tel 12y agoThat's more of a contract system than a type system, though.