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 BE27D7FB93 for ; Wed, 2 Mar 2016 16:57:47 +0100 (CET) IronPort-PHdr: 9a23:+XNXIxwdPoW0CNHXCy+O+j09IxM/srCxBDY+r6Qd0e4TIJqq85mqBkHD//Il1AaPBtWEra0ewLWJ+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStGU0J78iL/60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884moupNVu3Ff6UkQPQMCDkhG2Qt+5e28x/OUV3cyGEbVzAzmx5DBAzApDTzQp71sSKy4u940TWTOc7/Zb8xUDWmqaxsTUm72288Kzcl/TSP2YRLh6VBrUf5qg== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mmatalka@gmail.com; spf=Pass smtp.mailfrom=mmatalka@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f45.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=74.125.82.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mmatalka@gmail.com designates 74.125.82.45 as permitted sender) identity=mailfrom; client-ip=74.125.82.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; 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@mail-wm0-f45.google.com) identity=helo; client-ip=74.125.82.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-wm0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CFAAAODddWji1SfUpehHmoNYcZjFGGEwKBRjwQAQEBAQEBAQEQAQEBAQcLCwkfMYItghUBAQMBEi4BGx0BAwwGBQsWJQ8BBA8RAQUBIhMih2kBAwoIBJ1YgTE+MY0fgleFTgoZJw1Rg1QBAQEBAQUBAQEBARUBBQoEhAKCAoQ6iG8FlxKNY4kYhV6NDi+BDzeCIR6BUGqIYAEBAQ X-IPAS-Result: A0CFAAAODddWji1SfUpehHmoNYcZjFGGEwKBRjwQAQEBAQEBAQEQAQEBAQcLCwkfMYItghUBAQMBEi4BGx0BAwwGBQsWJQ8BBA8RAQUBIhMih2kBAwoIBJ1YgTE+MY0fgleFTgoZJw1Rg1QBAQEBAQUBAQEBARUBBQoEhAKCAoQ6iG8FlxKNY4kYhV6NDi+BDzeCIR6BUGqIYAEBAQ X-IronPort-AV: E=Sophos;i="5.22,529,1449529200"; d="scan'208";a="166668128" Received: from mail-wm0-f45.google.com ([74.125.82.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Mar 2016 16:57:43 +0100 Received: by mail-wm0-f45.google.com with SMTP id l68so86657156wml.0 for ; Wed, 02 Mar 2016 07:57:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=dV7WxZfx8eEiEMkoCOGDOOD0XlOTslws4lI+NgU5fEs=; b=0uHO9mretmeYnnW4UhEW3sAb2fGndK2u08SgkRz+WzCHs9tmX9UE6P+h2jTXhwrrOn o4+JGLSoe6RI0TgUGDEhI4Tzrb9mIMSz1aKZ3pGEeeRqTgWjft8++yborqIzxxtBN/Wj qg7hmuqN5d4rO0l2VmG+3X28O39gjKqvxbeIjk8G1ZrAHlquVj9h01in867z8j7VOaov qtBqd+1aYICOxtMkq1ltuqlS4GjNS1+geEDexr5aEfZtgCxAJfdBJDAN4mmgA8vRnMYe nM57eWkxbtbVlAtRd8pIw1N3gA+g8FqhQLNmV9vzpS6ZTCJt1n4yz5NVjX+Iwd1zNUKF DByg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=dV7WxZfx8eEiEMkoCOGDOOD0XlOTslws4lI+NgU5fEs=; b=g8lcTyQ5Qg6TVyWmgj6nOambTZlKJSTsdLkYTRppX/ZwjSI5EufeisU7BQo0KU0xgm H6bEoMJ0KC9VXRabp1he8LtI8L3CH2NqpPRiCp7tgw++MydfZ92U0v8uXOMDWdh7k75M ixmSeK27i6RlzMOMnf+VLtttyuN5a/58xOw4KmeKUAvjRUqE02tTxS1dmi1WRmCdvGge DWg+kJfItBIh0xRL8u31vVWdNThHI7/yj/O+ZhUjVs/8d3lOtvN5YchgYCQQgls5oCCi jcgFA6GchwfdFzwEvvbKLJEWzlqGZgv/nJhbm6UEddOgKJrtDu6lb/6xgA5nbkaXXPav 1TaA== X-Gm-Message-State: AD7BkJJGqSPkK36o1Fj82JhdV10jKZHgfXOL2+NPrlvt+/EOuPHNXDOWFP/AyaLPK4T1vA== X-Received: by 10.194.24.193 with SMTP id w1mr26777075wjf.33.1456934263124; Wed, 02 Mar 2016 07:57:43 -0800 (PST) Received: from localhost ([37.153.108.22]) by smtp.gmail.com with ESMTPSA id m6sm36410744wje.21.2016.03.02.07.57.42 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 02 Mar 2016 07:57:42 -0800 (PST) From: Malcolm Matalka To: Leo White Cc: caml-list@inria.fr References: <867fhlgjmj.fsf@gmail.com> <1456925836.1464341.537330890.53BDFE3A@webmail.messagingengine.com> <8637s9gev3.fsf@gmail.com> <1456928656.1475915.537363338.6E334EDB@webmail.messagingengine.com> Date: Wed, 02 Mar 2016 15:57:29 +0000 In-Reply-To: <1456928656.1475915.537363338.6E334EDB@webmail.messagingengine.com> (Leo White's message of "Wed, 02 Mar 2016 09:24:16 -0500") Message-ID: <86si08g9ee.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (berkeley-unix) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] Are implicit modules too implicit? Leo White writes: >> In the paper, the Show implementation for an int is called Show_int and >> for list Show_list, etc. But this is just a pleasant convention in the >> paper. > > And could easily be a pleasant convention in a library. Or possibly [Int.Show] > and [List.Show]. It's really a just a question of using sensible > library design. I'm just a bit concerned about relying on convention for such a powerful feature. FWIW, I don't use merlin, although maybe I'll start. One of the strengths of Ocaml, IMO, is how much information is local to the call-site and implicits seem to allow spooky action at a distance which makes me a bit uneasy. Perhaps I'm overreacting.