From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 8E399BC75 for ; Mon, 14 Feb 2005 09:05:08 +0100 (CET) Received: from smtpout.mac.com (smtpout.mac.com [17.250.248.70]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j1E8566e019816 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 14 Feb 2005 09:05:08 +0100 Received: from mac.com (smtpin01-en2 [10.13.10.146]) by smtpout.mac.com (Xserve/8.12.11/MantshX 4.0) with ESMTP id j1E84ka3023534; Mon, 14 Feb 2005 00:04:46 -0800 (PST) Received: from [192.168.1.100] (dsl081-080-123.lax1.dsl.speakeasy.net [64.81.80.123]) (authenticated bits=0) by mac.com (Xserve/smtpin01/MantshX 4.0) with ESMTP id j1E84dgF008519; Mon, 14 Feb 2005 00:04:41 -0800 (PST) In-Reply-To: <1108347745.2584.208.camel@pelican.wigram> References: <877e9a17050206221653d14456@mail.gmail.com> <877e9a17050212145737cc30d6@mail.gmail.com> <200502131451.02231.edgin@slingshot.co.nz> <20050213112630.73930e19@hobbes> <877e9a1705021312525337a907@mail.gmail.com> <877e9a1705021314512ff095b9@mail.gmail.com> <1108347745.2584.208.camel@pelican.wigram> Mime-Version: 1.0 (Apple Message framework v619.2) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <8a8fcd738f08018da41754475c0b4b87@mac.com> Content-Transfer-Encoding: 7bit Cc: Michael Walter , Thomas Fischbacher , Daniel Heck , caml-list@yquem.inria.fr From: Paul Snively Subject: Re: [Caml-list] The boon of static type checking Date: Mon, 14 Feb 2005 00:04:27 -0800 To: skaller@users.sourceforge.net X-Pgp-Agent: GPGMail 1.0.2 X-Mailer: Apple Mail (2.619.2) X-Miltered: at nez-perce with ID 42105BB2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 hash:01 wrote:01 compiler:01 api:01 perlis:01 glebe:01 caml-list:01 beginner's:01 ocaml:01 beginners:01 bug:01 ...:98 ...:98 061:98 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Feb 13, 2005, at 6:22 PM, skaller wrote: > What else is a compiler but a bridge to assembler? > In that light, one might say 'it would help some > novices program that can't do assembler' .. > ... > You should know from Quantum Physics this idea must > be taken with few grain of salt and a couple of Schroedinger cats. > ... > We're open to suggestions on how to do this, for surely > no one knows. All the maths in the world won't create a good > programming language, even though it may help weed out poor ones. > > ... > Sure it is: it is what distinguishes the system from a > mere library. In particular, it provides a way of > enforcing constraints mere library calls cannot > -- and perhaps someone else can list other advantages of languages > over lower level raw API calls? > I'm reminded of the Alan Perlis epigram "Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy." The Ward's Wiki page on it at is pretty good. Given the thread, the final paragraph of the page is likely to throw gasoline on the fire. > -- > John Skaller, mailto:skaller@users.sf.net > voice: 061-2-9660-0850, > snail: PO BOX 401 Glebe NSW 2037 Australia > Checkout the Felix programming language http://felix.sf.net > > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > Best regards, Paul -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.0 (Darwin) iEYEARECAAYFAkIQW5UACgkQO3fYpochAqIT5gCggSMJNdavab3/S1KSRZ6pEFnX kNMAoOMMMT4eig8NbtpTr37YLQicSn3O =yWZF -----END PGP SIGNATURE-----