From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oleg@okmij.org>
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 B6EAE8239C
	for <caml-list@sympa.inria.fr>; Wed, 27 Dec 2017 08:51:03 +0100 (CET)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=oleg@okmij.org; spf=Pass smtp.mailfrom=oleg@okmij.org; spf=None smtp.helo=postmaster@mail1.g3.pair.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  oleg@okmij.org) identity=pra; client-ip=66.39.3.114;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  oleg@okmij.org designates 66.39.3.114 as permitted sender)
  identity=mailfrom; client-ip=66.39.3.114;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org";
  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@mail1.g3.pair.com) identity=helo;
  client-ip=66.39.3.114;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="oleg@okmij.org";
  x-sender="postmaster@mail1.g3.pair.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3ADoJ8nxero2+Y/NV/A/D3ClUDlGMj4u6mDksu8pMi?=
 =?us-ascii?q?zoh2WeGdxcqzZB7h7PlgxGXEQZ/co6odzbaO6ua4ASQp2tWoiDg6aptCVhsI24?=
 =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?=
 =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahfL9+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?=
 =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?=
 =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?=
 =?us-ascii?q?cdLzM3/mHZhNJtgqxYrx2uuwFwzIzab4yOKPpyYrnQcc8GSWdbQMpcUTFKDIOm?=
 =?us-ascii?q?b4sICuoMJf9Wr43jqFsBsBCzAg6sBOfxxT9HnXL22q460+EgEQHExgAgGMgOsH?=
 =?us-ascii?q?vNodjzKawcX+e1zKzSwjXCafNbwTD96IvNchAgo/GAR7VwcdDeyUQpCgjLjU2Q?=
 =?us-ascii?q?pJTkMj6UzOgAvWyW4/BuWO61lmIrtg58riCyysoiloXFnIwYx1/e+SlkxIs5O8?=
 =?us-ascii?q?e0RUB0bNOiDZBerTuVN5FsTcMnW2xouDg1yrkBuZOjeSgF0pUnxxrCZ/CdfIiF?=
 =?us-ascii?q?7AjvVP6LLjd5nnJpYq6whxG38US4y+38UNe70EpSoydEk9TArH4A2hjJ5sWJUP?=
 =?us-ascii?q?dx41qt1DmX2wDW8O5EIEQ0laTBK54mx749jp0TsUDdES/5g0j2i6yWdkAl+uiq?=
 =?us-ascii?q?8ejnZa/mppCEO49ulg7+KrgumtC4AekgLgcBRW2b+eCl2L3n/E35W6lKg+Ytkq?=
 =?us-ascii?q?jZtZDaPd4UqrS4Aw9TyIYj6gywAy2o0NQCzjE7KwdXeB+BnoGwYwmRCP/9BPa7?=
 =?us-ascii?q?xV+rlWRF3ffDa5rlD5qFen/HnbjJerV46kwazxA8m4MMr6lIA60MdaqgEnT6s8?=
 =?us-ascii?q?bVW0c0?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BWDACET0NaYHIDJ0JdHQEBBQELAYM+Z?=
 =?us-ascii?q?nQnjx6OIoIBlyqCFAojhQ4KAoRVRhEBAQEBAQEBAQEBBRoLCTAvgjgigkoBBAE?=
 =?us-ascii?q?nEz8FFiE0BYsCCBCoeDqKTwEBCAImhAyCEoFVhRiDGBiCOoJ8gjQFkzGQG4Mlh?=
 =?us-ascii?q?F6NJQ2BfgF9gRWPbI0kiV+BPDkOgWBMMAg9gioIhF1piWsBAQE?=
X-IPAS-Result: =?us-ascii?q?A0BWDACET0NaYHIDJ0JdHQEBBQELAYM+ZnQnjx6OIoIBlyq?=
 =?us-ascii?q?CFAojhQ4KAoRVRhEBAQEBAQEBAQEBBRoLCTAvgjgigkoBBAEnEz8FFiE0BYsCC?=
 =?us-ascii?q?BCoeDqKTwEBCAImhAyCEoFVhRiDGBiCOoJ8gjQFkzGQG4MlhF6NJQ2BfgF9gRW?=
 =?us-ascii?q?PbI0kiV+BPDkOgWBMMAg9gioIhF1piWsBAQE?=
X-IronPort-AV: E=Sophos;i="5.45,464,1508796000"; 
   d="scan'208";a="306967256"
Received: from mail1.g3.pair.com ([66.39.3.114])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Dec 2017 08:51:02 +0100
Received: from mail1.g3.pair.com (localhost [127.0.0.1])
	by mail1.g3.pair.com (Postfix) with ESMTP id E6EBF3FB49D;
	Wed, 27 Dec 2017 02:51:00 -0500 (EST)
Received: from Magus.localnet (g.sf.ecei.tohoku.ac.jp [130.34.192.34])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(No client certificate requested)
	by mail1.g3.pair.com (Postfix) with ESMTPSA id D9C81582C77;
	Wed, 27 Dec 2017 02:50:58 -0500 (EST)
Date: Wed, 27 Dec 2017 16:56:37 +0900
From: Oleg <oleg@okmij.org>
To: zhenya1007@gmail.com
Cc: caml-list@inria.fr
Message-ID: <20171227075637.GA999@Magus.localnet>
Mail-Followup-To: Oleg <oleg@okmij.org>, zhenya1007@gmail.com,
	caml-list@inria.fr
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAGYXaSb5mXa33R7RccEeqh8aYEgow8OtG9VctVOono6x0hgW1Q@mail.gmail.com>
User-Agent: Mutt/1.6.1 (2016-04-27)
Subject: Re: [Caml-list] A question about "8.9 First-class modules ->
 Advanced


> I appreciate that it may be, "possible to parametrize some code over the
> implementation of a module without using a functor", but I am having
> trouble imagining why one would want to do such a thing.  

Here is an example why one may want to do such thing
        http://okmij.org/ftp/tagless-final/nondet-effect.html#no-functor

In fact, tagless-final approach lends itself very well to first-class
modules.