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=1.8 required=5.0 tests=MAILTO_TO_REMOVE,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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id DD23BBC69 for ; Fri, 5 Oct 2007 04:49:13 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAPtCBUfAXQImh2dsb2JhbACOOAIBCAop X-IronPort-AV: E=Sophos;i="4.21,233,1188770400"; d="scan'208";a="2163433" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 05 Oct 2007 04:49:13 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l952nCJu001380 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 5 Oct 2007 04:49:13 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGZCBUdQW+UCh2dsb2JhbACOOAIBCAop X-IronPort-AV: E=Sophos;i="4.21,233,1188770400"; d="scan'208";a="17316734" Received: from main.gmane.org (HELO ciao.gmane.org) ([80.91.229.2]) by mail4-smtp-sop.national.inria.fr with ESMTP; 05 Oct 2007 04:49:11 +0200 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1IddFG-0003JX-PX for caml-list@inria.fr; Fri, 05 Oct 2007 02:48:54 +0000 Received: from 0x57353bc1.boanxx19.adsl-dhcp.tele.dk ([87.53.59.193]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 05 Oct 2007 02:48:54 +0000 Received: from spam by 0x57353bc1.boanxx19.adsl-dhcp.tele.dk with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 05 Oct 2007 02:48:54 +0000 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: =?ISO-8859-1?Q?B=E1r=F0ur_=C1rantsson?= Subject: Re: Unsoundness is essential Date: Fri, 05 Oct 2007 04:48:46 +0200 Message-ID: References: <20071003083529.40DA2A99F@Adric.metnet.fnmoc.navy.mil> <4703FDEF.7030900@univ-savoie.fr> <1191451810.7218.86.camel@rosella.wigram> <59808.84.159.34.129.1191520580.squirrel@www.ps.uni-sb.de> <1191527775.7078.67.camel@rosella.wigram> <60599.84.159.34.129.1191532048.squirrel@www.ps.uni-sb.de> <1191536617.7771.18.camel@rosella.wigram> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: 0x57353bc1.boanxx19.adsl-dhcp.tele.dk User-Agent: Thunderbird 2.0.0.6 (X11/20071002) In-Reply-To: <1191536617.7771.18.camel@rosella.wigram> Sender: news X-Miltered: at discorde with ID 4705A628.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0200,:01 rossberg:01 statically:01 integers:01 reals:01 gcc:01 gentoo:01 traceback:01 stdin:01 'int':01 2007,:98 wrote:01 wrote:01 dynamically:01 dynamically:01 skaller wrote: > On Thu, 2007-10-04 at 23:07 +0200, rossberg@ps.uni-sb.de wrote: >> skaller wrote: >>>> Exceptions are /trapped/ errors. >>> I chose not to accept that definition. I use instead >>> "trapped at compile time", meaning "in advance of running >>> the program". >> As a definition for what? > > What trapped means. > >>> Otherwise you could say dynamically typed languages were >>> strongly typed and sound. >> In fact, technically, they are. People have used the term "unityped" for it. > > That isn't what I meant at all. Python is statically unityped, but > dynamically it has integers, reals, strings, etc. Type errors > in Python are not 'trapped' .. they're impossible. > $ python Python 2.5.1 (r251:54863, Oct 1 2007, 21:44:24) [GCC 4.1.2 (Gentoo 4.1.2)] on linux2 Type "help", "copyright", "credits" or "license" for more information. >>> 1 + "a" Traceback (most recent call last): File "", line 1, in TypeError: unsupported operand type(s) for +: 'int' and 'str' -- Bardur Arantsson - I may not have morals, but I do have standards.