From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 77D0AD171 for ; Mon, 25 Jul 2005 17:37:52 +0200 (CEST) Received: from furbychan.cocan.org (furbychan.cocan.org [80.68.91.176]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6PFbpLP031789 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Mon, 25 Jul 2005 17:37:52 +0200 Received: from rich by furbychan.cocan.org with local (Exim 3.35 #1 (Debian)) id 1Dx5B2-0006HW-00 for ; Mon, 25 Jul 2005 16:47:36 +0100 Date: Mon, 25 Jul 2005 16:47:36 +0100 Cc: caml-list Subject: Re: [Caml-list] Some Clarifications Message-ID: <20050725154736.GA24133@furbychan.cocan.org> References: <9cc3782b05071411004b27b6a4@mail.gmail.com> <42DB6161.4030507@cs.utah.edu> <42DD5F41.8060801@cs.utah.edu> <42E3AADA.8030907@cs.utah.edu> <913C9D85-AC2F-4C02-B5D2-E1C77BCD0050@inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <913C9D85-AC2F-4C02-B5D2-E1C77BCD0050@inria.fr> User-Agent: Mutt/1.3.28i From: Richard Jones X-Miltered: at nez-perce with ID 42E5074F.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 damien:01 high-level:01 compilation:01 low-level:01 notepad:01 25,:98 wrote:01 doligez:01 jul:05 marketing:93 formal:07 wondering:09 business:90 2005:89 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=SPF_FAIL autolearn=disabled version=3.0.3 On Mon, Jul 25, 2005 at 02:21:27PM +0200, Damien Doligez wrote: > Then I am still wondering what you are working on, that is so > high-level that you can only code it in OO, and makes compilation > and formal methods look simple and low-level. It's a very advanced AI-based system for trolling newsgroups. Rich. -- Richard Jones, CTO Merjis Ltd. Merjis - web marketing and technology - http://merjis.com Team Notepad - intranets and extranets for business - http://team-notepad.com