4 ms·
Except it only lets you define your own strict functions and data structures — i.e. you still need to consider laziness when using existing libraries.
by runeks 6y ago
Except it only lets you define your own strict functions and data structures — i.e. you still need to consider laziness when using existing libraries.
- zozbot234 6y agoIt's also not a very principled solution. It would be better to use focusing and/or polarized logic so as to allow both "strict" and "lazy" data and functions on a first-class basis. Then language-level options could be used to manage "defaults" as a matter of language syntax, for the programmer's convenience.