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

On 2008.01.06 15:54:00 +0100, Achim Schneider scribbled 0.6K characters:

Daniel Fischer 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