3 ms·
Some people argue that in an ideal world we wouldn't be using Turing-complete languages. Nothing like a total functional programming language to make life bette
by tikhonj 14y ago
Some people argue that in an ideal world we wouldn't be using Turing-complete languages. Nothing like a total functional programming language to make life better :).
- GregBuchholz 14y agoSome people argue that totality isn't enough, you really want a feasible (polytime) language. http://www.di.unito.it/˜gaboardi/papers/BaillotGaboardiMogbil10esop-draft.pdf http://www.di.unito.it/˜gaboardi/papers/BaillotGaboardiMogbi... ;-)