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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 77F167F8E8 for ; Wed, 21 May 2014 14:47:24 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rossberg@mpi-sws.org) identity=pra; client-ip=139.19.1.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rossberg@mpi-sws.org"; x-sender="rossberg@mpi-sws.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of rossberg@mpi-sws.org designates 139.19.1.49 as permitted sender) identity=mailfrom; client-ip=139.19.1.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rossberg@mpi-sws.org"; x-sender="rossberg@mpi-sws.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@hera.mpi-klsb.mpg.de) identity=helo; client-ip=139.19.1.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rossberg@mpi-sws.org"; x-sender="postmaster@hera.mpi-klsb.mpg.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai4BAJGffFOLEwExnGdsb2JhbABZyEgBgQoWDgEBAQEBCAsJCRQogiUBAQU4CAEBNgIPCxgJFg8JAwIBAgEjBR0TCAEBiD2kB4sahUkBBaBaEQaOVRaEKqBYBY9z X-IPAS-Result: Ai4BAJGffFOLEwExnGdsb2JhbABZyEgBgQoWDgEBAQEBCAsJCRQogiUBAQU4CAEBNgIPCxgJFg8JAwIBAgEjBR0TCAEBiD2kB4sahUkBBaBaEQaOVRaEKqBYBY9z X-IronPort-AV: E=Sophos;i="4.98,880,1392159600"; d="scan'208";a="62992566" Received: from hera.mpi-klsb.mpg.de ([139.19.1.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 21 May 2014 14:47:23 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=mpi-sws.org; s=mail200803; h=Content-Transfer-Encoding:Content-Type:In-Reply-To:References:Subject:To:MIME-Version:From:Date:Message-ID; bh=NHY+lUK6z4154EcPO1fNU8WKaBghWo5vSU0Jwe8pFwM=; b=l85udAKTz9SVLhNDvozgDxTEXITSfNzk37H/SLtUiUHUeI/AzfuW1s/Xb59Z5QFtdWsa5T3/aHCWQDSo28BUgCUzKyCXebj6+AlTytqiZ3hE7CrA55jZpZroQx27GZJjZ6XC50YKQ91WBvnLu4PnqOWusE0lJjbg0thYutOelDM=; Received: from srv-00-126.mpi-klsb.mpg.de ([139.19.1.29]:39116 helo=zak.mpi-klsb.mpg.de) by hera.mpi-klsb.mpg.de (envelope-from ) with esmtp (Exim 4.80) id 1Wn5vV-0000Kt-8h; Wed, 21 May 2014 14:47:23 +0200 Received: from [74.125.57.233] (port=39470 helo=bozo.muc.corp.google.com) by zak.mpi-klsb.mpg.de (envelope-from ) with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) id 1Wn5vU-0003rc-TE; Wed, 21 May 2014 14:47:21 +0200 Message-ID: <537CA058.5060306@mpi-sws.org> Date: Wed, 21 May 2014 14:47:20 +0200 From: Andreas Rossberg User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <33BA74EC-E875-437F-A8A0-34011307D21D@inria.fr> In-Reply-To: <33BA74EC-E875-437F-A8A0-34011307D21D@inria.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-MPI-Local-Sender: true Subject: Re: [Caml-list] OCaml release 4.02.0+beta1 On 21.05.2014 14:13, Damien Doligez wrote: > OCaml 4.02.0+beta1: > ------------------- > - Allow opening a first-class module [...] in the body of > an applicative functor if no types are created Is that a good idea? It seems that one property you want from modules (second or first class) is that you can always extend them safely to a subtype (as a form of weakening). That property would be violated by such a typing rule, because extending a first-class module with a type might now unexpectedly break client code which unpacks it inside a functor, and relies on that functor being applicative. (Of course, 'open' and 'include' already violate this property, but they stick out enough and are known to be brittle.) /Andreas