[Haskell-cafe] Re: US Homeland Security program language security risks

Achim Schneider barsoap at web.de
Sun Jan 6 09:54:00 EST 2008


Daniel Fischer <daniel.is.fischer at web.de> wrote:

> Am Sonntag, 6. Januar 2008 15:18 schrieb Andrew Coppin:
> > Daniel Fischer wrote:
> > > Just because I don't know:
> > > what bugs would be possible in a language having only the
> > > instruction return ()
> >
> > Bug #1: You cannot write any nontrivial programs. ;-)
> >
> That's not a bug, that's a feature.
>
That's an interesting task: Design a non-touring complete,
restricted language in which every expression is decidable, without
making the language unusable for usual programming problems.

-- 
(c) this sig last receiving data processing entity. Inspect headers for
past copyright information. All rights reserved. Unauthorised copying,
hiring, renting, public performance and/or broadcasting of this
signature prohibited. 



More information about the Haskell-Cafe mailing list