From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 9FB927F2B5 for ; Sun, 23 Dec 2012 18:15:56 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of camaradetux@gmail.com) identity=pra; client-ip=209.85.160.44; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="camaradetux@gmail.com"; x-sender="camaradetux@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of camaradetux@gmail.com designates 209.85.160.44 as permitted sender) identity=mailfrom; client-ip=209.85.160.44; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="camaradetux@gmail.com"; x-sender="camaradetux@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pb0-f44.google.com) identity=helo; client-ip=209.85.160.44; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="camaradetux@gmail.com"; x-sender="postmaster@mail-pb0-f44.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al4CAO4611DRVaAsjWdsb2JhbABEuhAKg2gIFg4BAQEBCQkLCRIGI4IeAQEFQAEbHQEDDAYFCw0uIgERAQUBHAYTiAABAwYJDJZmjDOCe4N4ChknDAFZiHYBBQyMS4RDA44Yh3SBHI1MFimEFg X-IronPort-AV: E=Sophos;i="4.84,343,1355094000"; d="scan'208";a="166676371" Received: from mail-pb0-f44.google.com ([209.85.160.44]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Dec 2012 18:15:55 +0100 Received: by mail-pb0-f44.google.com with SMTP id uo1so3588366pbc.31 for ; Sun, 23 Dec 2012 09:15:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=pa1bgPPL2TLFw0i4Y/MwLYjIj0G/dRiSl9OHYHjoA0E=; b=NjqHiE6e4wyCSE30ALBaG3CssPMwFXcqJvN6n0LsZHGa82Jk54PeEmx1hg7HytLAXt rkRK51JDDyi3hNpKvbjIlUw+xGaOiSzJl4cUcmsOc1LMZcCpe/UfovnFTvuONhENBPoc Jd3+/pxjrWcRqoWQ6pCZ3j/54hraMxG7fJiKMum1GHyABtHLD5mctBh249GvxDGRBh6d 16QrVeUSA+osAONmCAy4lqyMw8/BwTLcTEhcEA2HAeQZdZzAx7xuBKJ3uppBKh34Yzz6 853XQIKrCSw8D4qZm3t3vtRbu6aBvShspGJ7D1BwN5LAlpxTP/ceG9vrEucrkr6FbLNq Cftg== MIME-Version: 1.0 Received: by 10.68.252.228 with SMTP id zv4mr59634566pbc.134.1356282953785; Sun, 23 Dec 2012 09:15:53 -0800 (PST) Received: by 10.68.23.162 with HTTP; Sun, 23 Dec 2012 09:15:53 -0800 (PST) In-Reply-To: <50CF4771.5080101@free.fr> References: <50CF4771.5080101@free.fr> Date: Sun, 23 Dec 2012 18:15:53 +0100 Message-ID: From: Adrien To: Tiphaine Turpin Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] [ANN] RTT (Run-time types) online toplevel for trying Hi, On 17/12/2012, Tiphaine Turpin wrote: > Hello, > > Sorry for spamming again on RTT (Run-time types for OCaml). This is just > to announce an online trying version (obtained by patching the Try OCaml > website). The current distribution (0.4) also improves the initial > release significantly. > > Try RTT: > > http://rtt.forge.ocamlcore.org/tryrtt.html > > Documentation: > > http://rtt.forge.ocamlcore.org/index.html > I've started playing with RTT through the Try RTT page (great idea btw) and I'm not sure how to handle the following type: type 'a t = { t : 'a; } Also, it would be nice to see Rtt_type a bit more documented (the purpose of some elements in rttype is unclear). Also, examples with a few types would be very valuable. Apart from these two remarks, I'm happy with it so far and very interested. The web toplevel is quite slow but I guess camlp4 is pretty slow in javascript. Btw, are you aware of http://lexifi.com/blog/runtime-types ? It should provide support for runtime types too without camlp4. I don't know how likely or close it is to being integrated into ocaml. -- Adrien Nader