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 A14EA80211 for ; Fri, 20 Oct 2017 21:47:23 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=Pass smtp.pra=simon.cruanes.2007@m4x.org; spf=Pass smtp.mailfrom=SRS0=kewb=BT=m4x.org=simon.cruanes.2007@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of simon.cruanes.2007@m4x.org designates 129.104.30.34 as permitted sender) identity=pra; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=kewb=BT=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="simon.cruanes.2007@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of SRS0=kewb=BT=m4x.org=simon.cruanes.2007@bounces.m4x.org designates 129.104.30.34 as permitted sender) identity=mailfrom; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=kewb=BT=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="SRS0=kewb=BT=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mx1.polytechnique.org designates 129.104.30.34 as permitted sender) identity=helo; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=kewb=BT=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="postmaster@mx1.polytechnique.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3A6Zmr2R3fyUcpaa15smDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segULvad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL3WbmHC57CYTFxPjLkI1?= =?us-ascii?q?Y72tQs+Botq6zd+y+oHeJkBhzHr4OOsqbUb+kQKEk8ASioxmL+4UwwfApnhBM7?= =?us-ascii?q?BTwGp0LFaQlj7z486x+Nho9CEG6Nw78MsVaqT/eKJwZqZFBTIrKChh/8zush+F?= =?us-ascii?q?RhGS730RSSNMykIXKw2Z/Ff9RJin4XiyjfZ0xCTPZZ6+drszQzn3qv0zEBI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AvAwCvUepZhyIeaIFcHQYMGAEBBAEBC?= =?us-ascii?q?gEBhBhujzSOS4F6iFiETUkMilUDG4QLAYVRQhUBAQEBAQEBAQEBARIBAQEKCwk?= =?us-ascii?q?IKC9CAQQLgWYFAR4BBYI8AQQBeQULCw4TJQ8FKCGKKwgEAa1ci1IigwyCB4Zji?= =?us-ascii?q?noFgS0BAQGgJQgBAYdjjQGCCQF1kC2La4oPgTk1gX00ITJRgRGBVAiCAwyCSYJ?= =?us-ascii?q?nggWFEYFVAQEB?= X-IPAS-Result: =?us-ascii?q?A0AvAwCvUepZhyIeaIFcHQYMGAEBBAEBCgEBhBhujzSOS4F?= =?us-ascii?q?6iFiETUkMilUDG4QLAYVRQhUBAQEBAQEBAQEBARIBAQEKCwkIKC9CAQQLgWYFA?= =?us-ascii?q?R4BBYI8AQQBeQULCw4TJQ8FKCGKKwgEAa1ci1IigwyCB4ZjinoFgS0BAQGgJQg?= =?us-ascii?q?BAYdjjQGCCQF1kC2La4oPgTk1gX00ITJRgRGBVAiCAwyCSYJnggWFEYFVAQEB?= X-IronPort-AV: E=Sophos;i="5.43,408,1503352800"; d="asc'?scan'208";a="241829521" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 20 Oct 2017 21:47:22 +0200 Received: from carty (mna75-h05-89-87-113-251.dsl.sta.abo.bbox.fr [89.87.113.251]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id EDE2A564729; Fri, 20 Oct 2017 21:47:20 +0200 (CEST) Date: Fri, 20 Oct 2017 21:47:17 +0200 From: Simon Cruanes To: Malcolm Matalka Cc: Ivan Gotovchits , David Allsopp , caml-list Message-ID: <20171020194717.GJ3473@carty> References: <86o9p2ywgc.fsf@gmail.com> <20171020113815.GD32138@nunchakus.loria.fr> <86k1zpzrmp.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="GVmdUcABewnKtUm9" Content-Disposition: inline In-Reply-To: <86k1zpzrmp.fsf@gmail.com> User-Agent: Mutt/1.9.1 (2017-09-22) X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Fri Oct 20 21:47:21 2017 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000000, queueID=CA4B456472B X-Org-Mail: simon.cruanes.2007@polytechnique.org Subject: Re: [Caml-list] What if exn was not an open type? --GVmdUcABewnKtUm9 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable > Seems like monads address this as well. Perhaps, but at some significant cost in both convenience (>>=3D everywhere) and performance (for pure algorithmics, probably not much for systems programming). --=20 Simon Cruanes http://weusepgp.info/ key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3 7D8D 4AC0 1D08 49AA 62B6 --GVmdUcABewnKtUm9 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEElJ/rh48GWcbX032NSsAdCEmqYrYFAlnqUsUACgkQSsAdCEmq YrZdGA//eSw6jGKch1x6qYo8zzGMOomQ6oGMdlOcFS0y8f5OSnwExRNDMOtNzjYq goDF6GrBSA+M+/pcFO8uemEUt9GnkaEg9BFNPTI/63cgFbiPsl19kpZ5sNMVQI8/ PAGwB9GWTM22eNIsxb03O3UKXQ9YZi+m+5cdnsgZoGxbp8fFPN2sQLkhD+zhSE5J nSyUSUcqsa4uvO0UgrjwZebV/W7Hs1hgK0xhfXlo1loJZkiW279VW8J90EimDqux vZdhcBb8nrLYaIfcUjwKdQnVK+Kk3ZHmJt0LBRF1bKfR2xRN8T7Km795fKdknYc2 ej+FsZtNG/PhgDJlTJZ7VsoexJ5YeSKCts5OkmDj1EqbkKeLkA2AmNbW2rOaKbYP E8SHZ/rWPwWd4KnVV0s9xhnhttGyEuMmJPoyWdNEtKt7Vs7hvRLkpWUkoaVyM2id vCnPI+u0HLdeHP61DWGezQrhSKI4/qwoeXBpG6P8SH+bAHXsxG7rVZRUWzvo02fR 1RThcg6K+4Cn4yEIE8La73VaXqaej2elxsHlqK7K81d6I97KRyem+SU5IanC9gT4 3mC1TdER2wAuyTA0Djd7jYVh6DnrN3hOA3YB+zJGIeael32aTwy4IUo+lKL5xuEw pxqc+nP2x298NvUQaXqnr8ZhsMmtJJgKs4VEXIVDkQrQ6qdjQMs= =oUQ6 -----END PGP SIGNATURE----- --GVmdUcABewnKtUm9--