On Wed, 27 Nov 2013 09:09:37 -0500, Larry Martell wrote: > On Wed, Nov 27, 2013 at 5:31 AM, Paul Rudin <paul.nos...@rudin.co.uk> > wrote: >> rusi <rustompm...@gmail.com> writes: >> >>> Propositionally: All languages are equal -- Turing complete >> >> As an aside, not all languages are Turing complete. For example Charity >> is a language with the property that programs are guaranteed to >> terminate. >> >> <http://en.wikipedia.org/wiki/Charity_(programming_language)> > > How about INTERCAL? > > http://en.wikipedia.org/wiki/Intercal
Intercal is Turing complete. *Not* being Turing complete is normally a bad thing, at least for a full- blown programming language. On the other hand, a less powerful non-Turing complete language would probably be great for things like user-defined macros, plugins, and similar, where the users are not entirely trusted. -- Steven -- https://mail.python.org/mailman/listinfo/python-list