Re: MV and SQL

From: Marshall Spight <marshall.spight_at_gmail.com>
Date: 21 Jan 2006 20:40:43 -0800
Message-ID: <1137904842.966173.123920@g43g2000cwa.googlegroups.com>

dawn wrote:
> Marshall Spight wrote:
> > dawn wrote:
> > >
> > > Are you referring to SQL as a general language? It isn't a
> > > general-purpose programming language, right?
> >
> > Right: it's not a general purpose programming language. It's not
> > even turing-complete.
>
> Do you know if Tutorial-D is turing-complete?

I expect it is, because it has general recursion. It's not what I'd call a particularly good general purpose language; it's focused on data management (admitedly very important) but mostly neglects every other area of programming languages. No modules, no macros, no generics, no higher-order functions, and the type system is circa-1970.

Actually, the language definition is mostly a lower-bound than an actual description of a language, so I suppose you could argue it either way.

> If you implement
> predicate logic you would get a turing complete language, right?

I don't believe so. But it's not an area I'm strong in.

Marshall Received on Sat Jan 21 2006 - 22:40:43 CST