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 EA14A7F7AD for ; Wed, 2 Mar 2016 13:16:50 +0100 (CET) IronPort-PHdr: 9a23:cKEoYRFIs7htOrYMa/CSBp1GYnF86YWxBRYc798ds5kLTJ75pMSwAkXT6L1XgUPTWs2DsrQf27WQ7PqrAjdIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niKbtodaIOE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdK09SflcDS86G2Ez/szi8xfZHiWV4X5Jd2wSmR1MBkDg5Q3zWpT4+n//s+Nh0S2ZNOX5SLk1XXKp6KI9G0ygszsOKzNsqDKfscd3lq8O+B8= 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-f46.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.46; 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.46 as permitted sender) identity=mailfrom; client-ip=74.125.82.46; 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-f46.google.com) identity=helo; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-wm0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BtAABG2dZWjy5SfUpehAxtqCkEA4cZimqBZhcGgkCEfjkTAQEBAQEBAQEQAQEBAQcNCQkfMYItghkULgEbHgMSEBY0AQQPEQEFAVeHZwEDEgQKmRCCB4ExPjGNH4JXhUsKGScNUYQKAQUKBIYEhxGCKoF8C0CBJwWXEoEbhD+ICYFgS4ZtMYUtjQ4vgQ8iAYJTgVBqAYhAAQEB X-IPAS-Result: A0BtAABG2dZWjy5SfUpehAxtqCkEA4cZimqBZhcGgkCEfjkTAQEBAQEBAQEQAQEBAQcNCQkfMYItghkULgEbHgMSEBY0AQQPEQEFAVeHZwEDEgQKmRCCB4ExPjGNH4JXhUsKGScNUYQKAQUKBIYEhxGCKoF8C0CBJwWXEoEbhD+ICYFgS4ZtMYUtjQ4vgQ8iAYJTgVBqAYhAAQEB X-IronPort-AV: E=Sophos;i="5.22,528,1449529200"; d="scan'208";a="166636012" Received: from mail-wm0-f46.google.com ([74.125.82.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Mar 2016 13:16:50 +0100 Received: by mail-wm0-f46.google.com with SMTP id p65so75077688wmp.0 for ; Wed, 02 Mar 2016 04:16:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:subject:date:message-id:user-agent:mime-version; bh=wy1QwJ7nA9SHKHaRh0FO1Xkx5rWpe6SkTnJj95ftKQI=; b=RV8tB96Rulz6kKSU9NxK9fik9d4oO/S27SnVQBPmQt0QQ18+Edo+FiY5r/7lP3zEnK Uj4Q56LWkveKzngPJGtd0ahEcYRr5ERpVYSoDD2hk4gyhp6iV0XK7bR9Y8N2MORD+697 aonMD1M6KOLZxAnnfRaAu5GGH/8NdAf3qkfmy2aD7U6ADqkio7VY+NCntBj9cUxY/t03 AIqfIAfaSnTRo5xcGU5Lw86Jir5LfeUvEwY1/ImJcuEjhG2msaoLN5EdnxRqPHzriHBP QQnMjEmcN8euf9aUf6jbZ+oxbA/zvMvrlZnCxNlVhY+OUUR2Q+e1Fs5ltch44PX+vI7N cn7g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:subject:date:message-id:user-agent :mime-version; bh=wy1QwJ7nA9SHKHaRh0FO1Xkx5rWpe6SkTnJj95ftKQI=; b=N+nOC6GWW/6VCC0/XUAv3qE7+L5LLu4teomq6SUyesdY9qIQV9JKvlBR/zbpxzMvrh 56Mu2fBq0u6JC/1sFkYEgyzZ3DaCtaFN3ZduM1GkviUvRyAqfpW3iv1LNzN8PVEseGHl vSQyI/GNM7CwlBCNlfxPIXdz0+iF3lHF8QwS5LZ8uAz8Emtj+1eqDekMAvIunh/x2qB4 HRSUzXXRoknRy7FLylE7tEOgTwTGWFCp3GZgj6ZDxX9kcyWIyYDiFgHJUXT6n/jJX9wm ZNYKhy7AnRm59MTGxTfv688RaJXWHu/ifQtGYNhC3J+1pD4n6T784l7nOkeIzv7ON4NW B+3Q== X-Gm-Message-State: AD7BkJLtM5jlRQaTXDAoy5QQtEdN4DYRUMusSjSma+8gn1EwHMAKtsWZmzT1L6h11b38pA== X-Received: by 10.28.63.85 with SMTP id m82mr4714538wma.55.1456921009715; Wed, 02 Mar 2016 04:16:49 -0800 (PST) Received: from localhost ([37.153.108.22]) by smtp.gmail.com with ESMTPSA id m6sm35546437wje.21.2016.03.02.04.16.48 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 02 Mar 2016 04:16:49 -0800 (PST) From: Malcolm Matalka To: caml-list@inria.fr Date: Wed, 02 Mar 2016 12:16:36 +0000 Message-ID: <867fhlgjmj.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: [Caml-list] Are implicit modules too implicit? Hello, I would like to preface this with saying that I'm not a type theorist nor do I understand implicit modules in their totality, my question is really about software engineering. I have read a good chunk of http://arxiv.org/pdf/1512.01895.pdf which is linked to from Yaron's blog post on 4.03. The concern I have reading it that it seems difficult to, without exposing some resolution code from the compiler, determine which implementation of an implicit module is being executed. An implicit module doesn't even have to specific which module type it is implementing. To me, this means going from a call-site, to the actual implementation is very difficult especially since I cannot even do some sort of grep to find all those things that implement an implicit module type. Is the outline of that paper still true? Are my concerns justified or addressed in planned released version? Or am I missing something and my concerns are unjustified? Thanks, /Malcolm