Some people argue that in an ideal world we wouldn't be using Turing-complete la... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		tikhonj on July 8, 2012 \| parent \| context \| favorite \| on: Confession of a Haskell Hacker 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 on July 9, 2012 [–]

Some people argue that totality isn't enough, you really want a feasible (polytime) language.

http://www.di.unito.it/˜gaboardi/papers/BaillotGaboardiMogbi...

;-)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact