3 ms·
Some languages have TCO annotation, it throws compiler error if TCO fails. You want stronger type system, not smart compiler guarantees or promises!
by throw838489448 2mo ago
Some languages have TCO annotation, it throws compiler error if TCO fails. You want stronger type system, not smart compiler guarantees or promises!
- mort96 2mo agoThat's not a type system thing... Whether a call gets TCO'd isn't represented in the type system if it's just an annotation on a return statement.