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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 691707EE25 for ; Sun, 27 Oct 2013 15:10:31 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rdicosmo@gmail.com designates 74.125.82.54 as permitted sender) identity=mailfrom; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f54.google.com) identity=helo; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-wg0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AusDAGUdbVJKfVI2lWdsb2JhbABZgz9OuSWFQIEcFg4BAQEBBw0JCRIqgiYBBToGARQYBgYBAwwBBQUhJQ8FIAEFAQEhEwkLh2EDDwQBAwWZSI9ghBYnDYllAQUMCo4GgTSDK4ENA5gJgTCLJINIQYFkgm6BcA X-IPAS-Result: AusDAGUdbVJKfVI2lWdsb2JhbABZgz9OuSWFQIEcFg4BAQEBBw0JCRIqgiYBBToGARQYBgYBAwwBBQUhJQ8FIAEFAQEhEwkLh2EDDwQBAwWZSI9ghBYnDYllAQUMCo4GgTSDK4ENA5gJgTCLJINIQYFkgm6BcA X-IronPort-AV: E=Sophos;i="4.93,580,1378850400"; d="scan'208";a="39011472" Received: from mail-wg0-f54.google.com ([74.125.82.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Oct 2013 15:10:26 +0100 Received: by mail-wg0-f54.google.com with SMTP id c11so5599208wgh.33 for ; Sun, 27 Oct 2013 07:10:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:date:from:to:cc:subject:message-id:references:mime-version :content-type:content-disposition:in-reply-to:user-agent; bh=iUNDXF1kY3VG1dU1vQx/PDgaCg0ScRA4TWh9sLp1sg0=; b=tW1MAP1dxVzOSdVxDcTzx9Py0+rSjWkqVuAV2itRLgD6/S0ckLJmlIZtmFZn9Kl4zv 8iuTrwpjRQLIs5048veV9A3VEwjwlPX3eulgZ4U3i6nNIFjeyC/3xW1nedbs671PqEKz zVjFJPuyvwt8qnfaDzjejeyy0KQeTcUIuN/AFr3tb8VMM5PQzWvl5xavYj+29ujMqyC8 9ZXv606MedBeovvvepvZGhtMqU8tlJQ5BiLNd1Ug8tw6Y8yMjM6Mp7gLSxczZtDuLmbm NuedetN5lleOaxiAj1TC7h408eQZUGr/z7Gq3JimxnJRtuZEb7YVEgnmVB/iF1AvYNlw kgww== X-Received: by 10.180.106.227 with SMTP id gx3mr5442913wib.15.1382883030560; Sun, 27 Oct 2013 07:10:30 -0700 (PDT) Received: from voyager (bny92-3-81-56-44-163.fbx.proxad.net. [81.56.44.163]) by mx.google.com with ESMTPSA id gg20sm14884937wic.1.2013.10.27.07.10.28 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Sun, 27 Oct 2013 07:10:29 -0700 (PDT) Sender: Roberto Di Cosmo Received: from dicosmo by voyager with local (Exim 4.80) (envelope-from ) id 1VaR2x-0005tT-Tp; Sun, 27 Oct 2013 15:10:27 +0100 Date: Sun, 27 Oct 2013 15:10:27 +0100 From: Roberto Di Cosmo To: Andreas Rossberg Cc: Didier.Remy@inria.fr, caml-list@inria.fr, Francois Pottier Message-ID: <20131027141027.GA10293@voyager> References: <97627FCD-30E1-45AD-A72B-CD423170C0AC@math.nagoya-u.ac.jp> <20131025082911.GB23798@voyager> <526A7A3F.2090405@mpi-sws.org> <526BFCCA.8080804@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] Equality between abstract type definitions Wow, I did not expect to be spawning such a long exchange with my request of information on what appears surprising in type annotations as they are used today in OCaml, but all in all, I don't regret it, as it brought up a lot of useful information, that I'll refrain from summarising here: I just want to thank sincerely everybody for all the comments, as I actually ended up learning a lot here, and I believe I am not alone. Let me offer, though, a general comment which goes beyond the specific scope of this thread: of course incompatible changes to a language can be done, and have been regularly done in the past of our preferred language, with the wonderful CamlLight/CSL/OCaml team providing auto-magic converters that reduced somehow the pain of the transition. But I believe that such changes should only be made after a very careful and thorough consideration of their advantages and impact: it cannot just be motivated by the fact that a part of the user community finds a certain notation more or less intuitive than another, as another part of the community may feel exactly the opposite. -- Roberto ------------------------------------------------------------------ Professeur En delegation a l'INRIA PPS E-mail: roberto@dicosmo.org Universite Paris Diderot WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(0)1-57 27 92 20 5, Rue Thomas Mann F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo FRANCE. Twitter: http://twitter.com/rdicosmo ------------------------------------------------------------------ Attachments: MIME accepted, Word deprecated http://www.gnu.org/philosophy/no-word-attachments.html ------------------------------------------------------------------ Office location: Bureau 3020 (3rd floor) Batiment Sophie Germain Avenue de France Metro Bibliotheque Francois Mitterrand, ligne 14/RER C ----------------------------------------------------------------- GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3