From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <fw@deneb.enyo.de>
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 B48067F8FC
	for <caml-list@sympa.inria.fr>; Fri, 30 May 2014 20:03:54 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  fw@deneb.enyo.de) identity=pra; client-ip=46.237.207.196;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="fw@deneb.enyo.de";
  x-sender="fw@deneb.enyo.de"; x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  fw@deneb.enyo.de) identity=mailfrom;
  client-ip=46.237.207.196;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="fw@deneb.enyo.de";
  x-sender="fw@deneb.enyo.de"; x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@albireo.enyo.de) identity=helo;
  client-ip=46.237.207.196;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="fw@deneb.enyo.de";
  x-sender="postmaster@albireo.enyo.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqIJAO7GiFMu7c/E/2dsb2JhbABZgwdiA8MBAQeBAhZ0giYBBXkQCyElDwFHBohZAdcEF45SBy6EEgSgZgWMQIM6Ow
X-IPAS-Result: AqIJAO7GiFMu7c/E/2dsb2JhbABZgwdiA8MBAQeBAhZ0giYBBXkQCyElDwFHBohZAdcEF45SBy6EEgSgZgWMQIM6Ow
X-IronPort-AV: E=Sophos;i="4.98,942,1392159600"; 
   d="scan'208";a="77174330"
Received: from albireo.enyo.de ([46.237.207.196])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 30 May 2014 20:03:54 +0200
Received: from [172.17.203.2] (helo=deneb.enyo.de)
	by albireo.enyo.de with esmtps (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128)
	id 1WqR9e-0002io-71; Fri, 30 May 2014 20:03:46 +0200
Received: from fw by deneb.enyo.de with local (Exim 4.80)
	(envelope-from <fw@deneb.enyo.de>)
	id 1WqR9d-0004xf-V0; Fri, 30 May 2014 20:03:45 +0200
From: Florian Weimer <fw@deneb.enyo.de>
To: Daniel =?iso-8859-1?Q?B=FCnzli?= <daniel.buenzli@erratique.ch>
Cc: Philippe Veber <philippe.veber@gmail.com>,  Ben Millwood <bmillwood@janestreet.com>,  Romain Bardou <romain.bardou@inria.fr>,  caml users <caml-list@inria.fr>
References: <CAOOOohTKWk6gsz2MFqMniK0MLenRmdvsh8hG1hjqO2cXQJxj0Q@mail.gmail.com>
	<53835610.9050609@inria.fr>
	<CA+MHO51JFGxK=dmHMRbPhZguW7vJRyQ3DvfJCMh4cCa+_Y6meg@mail.gmail.com>
	<CAOOOohRO8nwsNufmZ9bZbHwuNm-Xx0vO8Lkue6BcTge-egDYKQ@mail.gmail.com>
	<53B801AD6F5B4BFBA0DA2A69D8775497@erratique.ch>
Date: Fri, 30 May 2014 20:03:45 +0200
In-Reply-To: <53B801AD6F5B4BFBA0DA2A69D8775497@erratique.ch> ("Daniel
	=?iso-8859-1?Q?B=FCnzli=22's?= message of "Mon, 26 May 2014 18:34:33
 +0200")
Message-ID: <8738frjg8u.fsf@mid.deneb.enyo.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] Uncaught exceptions in function type.

* Daniel B=FCnzli:

> * Non-exceptional errors, errors that the programmer will have to
> handle (e.g. failing to connect a socket), for that do not use a
> custom exception but use variants or options types.

In some cases this introduces allocations even for the success case,
and exception-based design avoids that.