[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