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=2.2 required=5.0 tests=DATE_IN_PAST_24_48, SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 815B8BC6E for ; Thu, 24 May 2007 15:25:46 +0200 (CEST) Received: from an-out-0708.google.com (an-out-0708.google.com [209.85.132.241]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4ODPfdp023881 for ; Thu, 24 May 2007 15:25:45 +0200 Received: by an-out-0708.google.com with SMTP id b15so40593ana for ; Thu, 24 May 2007 06:25:40 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:subject:from:to:cc:in-reply-to:references:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; b=lh9Wj/zy/BmcqlWap3UTAB2kwHMrRQh5ym4XfOOpnF/CPksJmhtACWY0DxcuS3vfOH5chX74VpnRZplUy6VPQ1Z8NHZ5dQC0NcuL0W5Ey6/JP4tFpMT8kdo+UHkUXHr2gZP4ZKPoH7LboMMvGNMyS8TCCXQoj/Ljph/rYKWOk0g= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:subject:from:to:cc:in-reply-to:references:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; b=ffqqFItYouDWR057BBQZXX34KUMmjyP9ckWcBvQOO+PsVJ13N8SqVp27qnQADhRFHGDwtuNYEBZWr7lDrSJCmkB/m1Sk7KuF86Pq5Hca1vGDKX3LzHvkiqbMsXzfuvlzv6VA+NNYOrD5OejnTag1X+SiY1WPCOfkjDS0MKRO73c= Received: by 10.100.190.8 with SMTP id n8mr1467384anf.1180013140471; Thu, 24 May 2007 06:25:40 -0700 (PDT) Received: from ?192.168.2.12? ( [24.173.161.251]) by mx.google.com with ESMTP id d19sm3696565and.2007.05.24.06.25.38; Thu, 24 May 2007 06:25:39 -0700 (PDT) Subject: Re: [Caml-list] Teaching bottomline, part 2: what went right. From: David Teller To: Hendrik Tews Cc: caml-list@yquem.inria.fr In-Reply-To: References: <1179871820.6966.77.camel@Blefuscu> Content-Type: text/plain Date: Wed, 23 May 2007 08:54:17 -0400 Message-Id: <1179924858.6966.95.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit Sender: David Teller X-Miltered: at concorde with ID 46559255.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ens-lyon:01 runtime:01 ocaml:01 semantics:01 cheers:01 0200,:01 hendrik:01 tews:01 univ-orleans:01 runtime:01 hendrik:01 beginner's:01 ocaml:01 bug:01 beginners:01 No, it fails at runtime, of course: let f _ = List.hd [] I'm just happy that that student managed to produce such a function. Remember that they've had only one term of OCaml/functional programming, no type theory, no lambda-calculus, no semantics of programming languages, etc. Cheers, David On Wed, 2007-05-23 at 09:44 +0200, Hendrik Tews wrote: > David Teller writes: > > * One of my students did manage to write a function with type 'a -> 'b > without using Obj or Marshal. > > It's easy if the function doesn't have to terminate: > > let f x = raise Not_found;; > > Does the students function terminate without exception or other > kinds of runtime errors? > > Bye, > > Hendrik > > _______________________________________________ > 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