From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id A4C45BBC4 for ; Wed, 4 Mar 2009 21:31:28 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsYFAJdzrklQRFuwX2dsb2JhbACUeRcLCgQUwxeECAY X-IronPort-AV: E=Sophos;i="4.38,302,1233529200"; d="scan'208";a="22059221" Received: from furbychan.cocan.org ([80.68.91.176]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Mar 2009 21:31:28 +0100 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1LexkV-0001BB-I8 for caml-list@inria.fr; Wed, 04 Mar 2009 20:31:27 +0000 Date: Wed, 4 Mar 2009 20:31:27 +0000 To: caml-list@inria.fr Subject: Re: [Caml-list] stl? Message-ID: <20090304203127.GA4120@annexia.org> References: <91a2ba3e0903031340wcdc976cp52522eb35f7ccb73@mail.gmail.com> <87eixdz12l.fsf@aryx.cs.uiuc.edu> <200903042007.43232.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200903042007.43232.jon@ffconsultancy.com> User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Spam: no; 0.00; stl:01 cpp:01 2009:98 wrote:01 caml-list:01 turing:06 wed:06 red:92 type:14 www:84 mar:16 would:18 point:18 archive:19 way:25 On Wed, Mar 04, 2009 at 08:07:43PM +0000, Jon Harrop wrote: > I would not call it "advanced". C++'s type system was accidentally Turing > complete in a very practically limited way. (To prove Jon's point ...) http://web.archive.org/web/20030501231817/www.annexia.org/freeware/cpptemplates/template-turing.cpp Rich. -- Richard Jones Red Hat