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.9 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 0A005BBAF for ; Wed, 17 Dec 2008 22:16:59 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.36,239,1228086000"; d="scan'208";a="18604855" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 17 Dec 2008 22:16:58 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mBHLGweR021533 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 17 Dec 2008 22:16:58 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwBAPD6SElIDtyei2dsb2JhbACTHz4BAQEKCwoHDwWqIFiEWIw8AQMBA4MDgj0 X-IronPort-AV: E=Sophos;i="4.36,239,1228086000"; d="scan'208";a="18604854" Received: from fg-out-1718.google.com ([72.14.220.158]) by mail2-smtp-roc.national.inria.fr with ESMTP; 17 Dec 2008 22:16:58 +0100 Received: by fg-out-1718.google.com with SMTP id e21so51310fga.25 for ; Wed, 17 Dec 2008 13:16:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:sender:cc:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer; bh=ijtsI1cpPnzRceGpJMosGS79Pmr2rdqZVmRyXuxHWm4=; b=sIE9TK27VoNoJn//boz614Cx8oIzYK30KUlPhjcvYfGNIC6vXsu5TbHbdFJsUAM8z1 hS3Mej53MsOP6biS3qKqvwjY6Uq8TEINNPnENb+GitD6kj0CJwN1u51jTvbSf0Hf5uUp yPufRH8Y7NjZ8NQsUjkNVHsW0YTica8+3a2qo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=sender:cc:message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; b=VfhS9H7fenr9mQdMRHnZPOw+t13lQQL2w6s8RA1muvFnKre272gSXuCZDTcXI4DHzR rlz6j6xhwCW3828Y9c09qNgJzwuw235vWB1oCifxzWsf5pIKU7hNXED8kN18Omc4MZ9+ 0hONlsPIMQn1jsL0aiu+pEynjtF2bFcMdG6Io= Received: by 10.86.94.11 with SMTP id r11mr705286fgb.11.1229548617751; Wed, 17 Dec 2008 13:16:57 -0800 (PST) Received: from ?192.168.1.34? (247-174.77-83.cust.bluewin.ch [83.77.174.247]) by mx.google.com with ESMTPS id l12sm2894483fgb.14.2008.12.17.13.16.56 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 17 Dec 2008 13:16:57 -0800 (PST) Sender: =?UTF-8?B?RGFuaWVsIELDvG56bGk=?= Cc: OCaml List Message-Id: From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= To: Jacques Carette In-Reply-To: <49496A5F.5080705@mcmaster.ca> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v929.2) Subject: Re: [Caml-list] Typing Dynamic Typing in ocaml? Date: Wed, 17 Dec 2008 22:15:43 +0100 References: <494956BD.9030000@mcmaster.ca> <494959F1.8010808@glondu.net> <49496A5F.5080705@mcmaster.ca> X-Mailer: Apple Mail (2.929.2) X-Miltered: at discorde with ID 49496C4A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 ocaml:01 pointers:01 ocaml:01 node:01 typing:01 typing:01 caml-list:01 jacques:03 dynamic:03 daniel:04 daniel:04 guess:04 dec:05 Le 17 d=E9c. 08 =E0 22:08, Jacques Carette a =E9crit : > Scarily enough, I do believe that that is exactly what I need. I =20 > guess I was hoping to avoid Obj, but this may be one of those =20 > instances where it is indeed the most reasonable compromise. Maybe not. Follow these pointers [1,2]. Best, Daniel [1] http://mlton.org/UniversalType [2] http://ocaml.janestreet.com/?q=3Dnode/18