4 ms·
It has a gradual type 'system', along with a means of type checking (via Dialyzer) at compile time. However the type checking isn't enforced at compile time, a
by h0l0cube 3y ago
It has a gradual type 'system', along with a means of type checking (via Dialyzer) at compile time. However the type checking isn't enforced at compile time, and it has the possibility for some false negatives (though it isn't so bad in experience).
- krainboltgreene 3y agoOkay then by that measure comments with details about input and output are also a type system, an even easier one since there's generally only one syntax rule!
- h0l0cube 3y agoWhat is code but interpreted text? If the comments are interpretable and enforced by a logical system, then they become instruction.