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

[gwern0 at gmail.com]

On 2008.01.06 15:54:00 +0100, Achim Schneider <barsoap at web.de> scribbled 0.6K characters:
> 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.

Total functional programming, yay: <http://lambda-the-ultimate.org/node/2003>.

--
gwern
$ Majic shaped Grove infrastructure Spoke BOSS mercur SEIDM BX
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20080106/2390efba/attachment.bin