7 Jan
2008
7 Jan
'08
12:19 a.m.
On 2008.01.06 15:54:00 +0100, Achim Schneider <barsoap@web.de> scribbled 0.6K characters:
Daniel Fischer <daniel.is.fischer@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