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 B626480211 for ; Fri, 27 Oct 2017 16:49:52 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=leo@lpw25.net; spf=None smtp.mailfrom=leo@lpw25.net; spf=None smtp.helo=postmaster@out4-smtp.messagingengine.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=pra; client-ip=66.111.4.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=mailfrom; client-ip=66.111.4.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@out4-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="postmaster@out4-smtp.messagingengine.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A4WHVshBzI4wpcXUrpBizUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP3/oMbcNUDSrc9gkEXOFd2Crakb26yL6+jJYi8p39WoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6i760TlHERz6MU9x?= =?us-ascii?q?J//pMo/UlcW+ke6oqLPJZAAdoDe6KYxyLQm75VHVu84+hZN9cPt3zBbV9CgbM9?= =?us-ascii?q?9KzH9lcArA1y334d29qcZu?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DxAwALR/NZhhwEb0JcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhBhuJ4N6ixOOHoFUJphTCiWEAQGBFAKES0QTAQEBAQEBAQEBAQE?= =?us-ascii?q?SAQEBCAsLCCgvgjgigjoKAQIBAQEjHQEBOAQLCwMBPgICLCuKNAgQqCdrgieDC?= =?us-ascii?q?AEBBYVYggQBAQEBAQUBAQEBAQEaCIMuggeDOTSCdoMygh+CDAwxL4IyogcBh2a?= =?us-ascii?q?gQ4xfiTGBOTeCCFUwCkmCZAmCRB+CDyU2AYtkAQEB?= X-IPAS-Result: =?us-ascii?q?A0DxAwALR/NZhhwEb0JcHAEBBAEBCgEBFwEBBAEBCgEBhBh?= =?us-ascii?q?uJ4N6ixOOHoFUJphTCiWEAQGBFAKES0QTAQEBAQEBAQEBAQESAQEBCAsLCCgvg?= =?us-ascii?q?jgigjoKAQIBAQEjHQEBOAQLCwMBPgICLCuKNAgQqCdrgieDCAEBBYVYggQBAQE?= =?us-ascii?q?BAQUBAQEBAQEaCIMuggeDOTSCdoMygh+CDAwxL4IyogcBh2agQ4xfiTGBOTeCC?= =?us-ascii?q?FUwCkmCZAmCRB+CDyU2AYtkAQEB?= X-IronPort-AV: E=Sophos;i="5.44,304,1505772000"; d="scan'208,217";a="242621606" Received: from out4-smtp.messagingengine.com ([66.111.4.28]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 Oct 2017 16:49:50 +0200 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.nyi.internal (Postfix) with ESMTP id 19A6A20940 for ; Fri, 27 Oct 2017 10:49:49 -0400 (EDT) Received: from web1 ([10.202.2.211]) by compute5.internal (MEProxy); Fri, 27 Oct 2017 10:49:49 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lpw25.net; h= content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc; s=mesmtp; bh=OX9svFrk9C8kxce5mFhTbC3TlA IVMrQtf3inlYe+1EI=; b=iV4A+utx5sqNFRLsMGC3VfH/GT5KFyWIvMp/+V6xdm 9K0Yi9Kp74uyDCCNy8/4QlSaoNE3gwAfBnRg3uEAUzUD+kam3QoOMLv0VCyGWi3w x/EYDVfoey1PjfEESKrBe+S0Fk7GELQW81Lowh2RLuk/uYCumB7yTge0RXaYSGbJ Q= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-sender:x-me-sender:x-sasl-enc; s=fm1; bh=OX9svF rk9C8kxce5mFhTbC3TlAIVMrQtf3inlYe+1EI=; b=FrZd5ZR0GylNTpf6f+t5DB re4jlZLT1iNYCPtLPmU4tlMXfZou+2KMJT3W1DHv1uMbDD06q8If+ZP3yh+vr1Ex rYbEInShcS5Bgp3IYjYYMY6lTBo4x0W6M8NLoipECzxdenSADhXvoCbfLKawf2g6 ZKbWoZuBuOzKpmJ2etmeLnwW8ZDIRy2YxPiWJbPvzEFForpqjlpSuOG5dSxQLwRI QTBL8oylzi5ZlOADsfxS1N3ICXDixoHx39rx/83HHJUV03/nYTvS7vbq15/Fcs4P Buyk/UZK57hEIxKwQ9YBub9IZjZnCe8mRWEijBnmU6io93imJxq4VUHk+0NK7Hxw == X-ME-Sender: Received: by mailuser.nyi.internal (Postfix, from userid 99) id E1F57957C0; Fri, 27 Oct 2017 10:49:48 -0400 (EDT) Message-Id: <1509115788.1445376.1153072744.0F6EB67A@webmail.messagingengine.com> From: Leo White To: caml-list@inria.fr MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: multipart/alternative; boundary="_----------=_150911578814453762" X-Mailer: MessagingEngine.com Webmail Interface - ajax-4cf23885 Date: Fri, 27 Oct 2017 10:49:48 -0400 References: <20171025083530.gvggcenrgxolduse@annexia.org> <20171027135819.GA4340@Magus.localnet> In-Reply-To: Subject: Re: [Caml-list] What if exn was not an open type? This is a multi-part message in MIME format. --_----------=_150911578814453762 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" > I thought one big selling argument of monads was also that the type of > the functions shows which effect it performs. As I understand it, it > is not the case for effects, at least not in existing implementations > like multicore ocaml. Whilst the current implementation in multicore OCaml does not track effects at the type level,there is a prototype version which does: https://github.com/lpw25/ocaml-typed-effects I spoke about it at HOPE last year: https://www.youtube.com/watch?v=ibpUJmlEWi4&list=PLnqUlCo055hVLWbmrXyxqYXcJJWSgU6Z5&index=1 http://www.lpw25.net/talks/hope2016.pdf Regards, Leo --_----------=_150911578814453762 Content-Transfer-Encoding: 7bit Content-Type: text/html; charset="utf-8"
> I thought one big selling argument of monads was also that the type of the functions shows which effect it performs. As I understand it, it is not the case for effects, at least not in existing implementations like multicore ocaml.

Whilst the current implementation in multicore OCaml does not track effects at the type level,
there is a prototype version which does:

    https://github.com/lpw25/ocaml-typed-effects

I spoke about it at HOPE last year:

    https://www.youtube.com/watch?v=ibpUJmlEWi4&list=PLnqUlCo055hVLWbmrXyxqYXcJJWSgU6Z5&index=1
    http://www.lpw25.net/talks/hope2016.pdf

Regards,

Leo
--_----------=_150911578814453762--