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

Ouch. That kind of sucks, actually. IIRC, Turing incompleteness had some nice side effects for SQL - such as guaranteeing program halt, and allowing perfect automatic optimization.


Being Turing Incomplete doesn't mean that programs are guaranteed to not halt. It just means that the Halting Problem may not be undecidable for that class of programs/machines. I'd be surprised if that was useful in the real world.


At least most of the time people stick to the Turing incomplete subset of the language.




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

Search: