From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 4B93DBC8B for ; Sat, 5 Feb 2005 14:57:36 +0100 (CET) Received: from first.in-berlin.de (dialin-145-254-064-164.arcor-ip.net [145.254.64.164]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j15DvYpm022329 for ; Sat, 5 Feb 2005 14:57:35 +0100 Received: by first.in-berlin.de (Postfix, from userid 501) id 09BD3A7E05; Sat, 5 Feb 2005 14:14:18 +0100 (CET) Date: Sat, 5 Feb 2005 14:14:18 +0100 From: Oliver Bandel To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Estimating the size of the ocaml community Message-ID: <20050205131418.GC484@first.in-berlin.de> References: <891bd33905020213315a2ebb18@mail.gmail.com> <8008871f05020213362d21ba87@mail.gmail.com> <000f01c50971$baad4840$0100a8c0@mshome.net> <1107403128.32586.223.camel@pelican.wigram> <20050203173556.4acec1c5.ocaml-erikd@mega-nerd.com> <009a01c50a1e$f6c92080$0100a8c0@mshome.net> <20050204103006.GA498@first.in-berlin.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.6i X-Miltered: at nez-perce with ID 4204D0CE.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; oliver:01 bandel:01 oliver:01 in-berlin:01 caml-list:01 ocaml:01 wrote:01 bandel:01 wrote:01 endline:01 endline:01 ...:98 ...:98 ....:98 integer:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: On Fri, Feb 04, 2005 at 11:02:49PM +0100, Thomas Fischbacher wrote: > > On Fri, 4 Feb 2005, Oliver Bandel wrote: > > > On Thu, Feb 03, 2005 at 10:16:33PM +0100, Thomas Fischbacher wrote: > > [...] > > > (3) The type system is annoying. People claim it helps catching errors, > > > but my impression is it only catches those which I would never make > > > anyway. > > [...] > > > > Well if it catches only errors you never make, you should > > never had any warnings nor error messages from the type > > system. > > So, why is it annoying, if you never get a warning/error message? > > > > Normally you should not be aware of the type system, because you > > do not make type-system-errors. > > Because the type system occasionally forces me to write code in funny > ways, as I cannot "sometimes return an integer, sometimes a symbol" from a > function, say. I would have to wrap this up. > [...] ...well.... type sometimes_t = Integer of int | One_symbol | Another_symbol let look_inside thing = match thing with Integer i -> print_endline ("Got an int! " ^ string_of_int i) | One_symbol -> print_endline "Got ONE symbol" | Another_symbol -> print_endline "Got ANOTHER symbol" ...isn't that nice?! Ciao, Oliver