From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr 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 CA340BB81 for ; Tue, 14 Feb 2006 22:24:01 +0100 (CET) Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.192]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k1ELO0Yv023680 for ; Tue, 14 Feb 2006 22:24:01 +0100 Received: by wproxy.gmail.com with SMTP id i27so1247657wra for ; Tue, 14 Feb 2006 13:24:00 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=fUfG077Zg6bdIdeXrOsKRhiD2xp2NvqalP21MitgxnziOJpKtctT+t8oQevf3WvOaSvBJeHv1viAuM3yoUzjNmXpWDwb+FSQBgkOdH1a7Xt+pe8kZrtj09tHwMNJSx8/O42Cywns+PgkWBE87IhGjuvAxK3nnXikABeAPROmkKU= Received: by 10.64.195.7 with SMTP id s7mr2058262qbf; Tue, 14 Feb 2006 13:23:59 -0800 (PST) Received: by 10.65.35.3 with HTTP; Tue, 14 Feb 2006 13:23:59 -0800 (PST) Message-ID: Date: Wed, 15 Feb 2006 10:23:59 +1300 From: Jonathan Roewen To: OCaml Subject: [Caml-list] Wish =) MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline X-Miltered: at nez-perce with ID 43F24A70.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 type-safe:01 ocaml:01 toplevel:01 runtime:01 arbitrarily:01 cmi:01 typechecking:01 reflection:02 reflection:02 apps:04 loaded:09 real:09 gmail:09 burden:11 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.3 Hi, Wouldn't it be nice to have type-safe reflection in ocaml? From all appearances, this should be entirely possible considering the toplevel can do typechecking and what not at runtime on arbitrarily loaded code (including the app it's included in). So you would need the .cmi files present for such thing to work -- but I don't think that'd be a real burden for apps that want reflection. Jonathan