4 ms·
Ironically: via the lens of ideas embodied by classical / full linear logic, there’s very elegant programming ideas the exactly correspond with the law of exclu
by carterschonwald 3y ago
Ironically: via the lens of ideas embodied by classical / full linear logic, there’s very elegant programming ideas the exactly correspond with the law of excluded middle.
- 082349872349872 3y agoUnfortunately: as much of programming (eg any non-degenerate evaluation) fails to be injective, the law of excluded middle fails just where one might wish most to apply it.