From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=h9fMgKZg; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id 8E3F04008C for ; Tue, 30 Jun 2026 15:00:52 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:references:from: in-reply-to:content-transfer-encoding:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=EXPmp5kOkcvBNApL8rJUldoUH3pEYYBlGbK8BdejPLg=; b=h9fMgKZgaufBk9FWlEra2OTjIW+qn849p4V6b6/CNZm4+yqXnr/HJczC 4MGsluQFrer/JH5DWKRTtCpv0iohnncuH/Gazp3QqxNFgEcDnx66sXQSp SyR8Z3WvremvDvGw2t15g7b+XUvnBcOzejR0QKs3CctYzh6gxaPY6YrF7 A=; X-CSE-ConnectionGUID: j8bxj5S7Sh6zRy1781/jYA== X-CSE-MsgGUID: Eb6WqQ29RTW4hHeirhBT8Q== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.24,234,1774306800"; d="scan'208";a="284213400" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Jun 2026 17:00:52 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 855058216B; Tue, 30 Jun 2026 17:00:52 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 9DA0D81945 for ; Tue, 30 Jun 2026 17:00:43 +0200 (CEST) X-CSE-ConnectionGUID: lbTqINLPQ1uVo38ZvirwKw== X-CSE-MsgGUID: Wy7Am2koRjWUXl1JFqtXag== X-IronPort-AV: E=Sophos;i="6.24,234,1774306800"; d="scan'208";a="150896157" Received: from wifi-eduroam-84-091.paris.inria.fr (HELO [128.93.84.91]) ([128.93.84.91]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 30 Jun 2026 17:00:43 +0200 Message-ID: <91848a53-3d8c-4f09-9ac7-7f3738bea882@inria.fr> Date: Tue, 30 Jun 2026 17:00:41 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird To: caml-list@inria.fr References: <861de205-0471-4a17-b020-c0494914437b@inria.fr> <6d5f115c-866d-4cc0-a102-73657778a0e2@inria.fr> From: Olivier Nicole Content-Language: en-US In-Reply-To: <6d5f115c-866d-4cc0-a102-73657778a0e2@inria.fr> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Modular explicits in pre-OCaml 5.5 Reply-To: Olivier Nicole X-Loop: caml-list@inria.fr X-Sequence: 19541 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: , List-Subscribe: , List-Unsubscribe: , List-Post: List-Owner: List-Archive: Archived-At: Le 25/06/2026 à 16:23, Samuel Vivien a écrit : > Indeed. Modular explicit does not add any expressiveness to the language > (and does not impact the soundness of the type system). Every program > that can be written using modular explicits could have been written with > a functor encoded as a first-class module. > > We presented this encoding in section 1.5 of this paper about modular > explicits : https://hal.science/hal-05428136/document That clarifies it for me, thanks!