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 776BB7EE89 for ; Thu, 26 Oct 2017 10:11:50 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.43,434,1503352800"; d="scan'208";a="242419657" Received: from estephe.paris.inria.fr (HELO [128.93.64.229]) ([128.93.64.229]) by mail3-relais-sop.national.inria.fr with ESMTP; 26 Oct 2017 10:11:26 +0200 To: caml-list@inria.fr References: <86o9p2ywgc.fsf@gmail.com> <20171020113815.GD32138@nunchakus.loria.fr> <20171024133026.uovvzdbnamnzoknv@annexia.org> <20171025083530.gvggcenrgxolduse@annexia.org> <20171025145247.5rxad7qixivzn4vj@annexia.org> <86r2tqxrhh.fsf@gmail.com> From: Xavier Leroy Message-ID: <97477fca-b542-c779-4d52-118d50b747ad@inria.fr> Date: Thu, 26 Oct 2017 10:11:26 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 MIME-Version: 1.0 In-Reply-To: <86r2tqxrhh.fsf@gmail.com> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] What if exn was not an open type? On 26/10/2017 10:06, Malcolm Matalka wrote: > F# seems to have limited support for monads, but they call them > "workflows" and "computation statements" (or something like that). > Maybe just a name change would be sufficient for Ocaml folks. We can > tell everyone it's just monads still, but we want to call them blah. I > dunno, how effective that is. Simon Peyton Jones suggested "warm fuzzy things" as a better name for monads. There is even an Urban Dictionary entry about this: https://www.urbandictionary.com/define.php?term=Warm%20Fuzzy%20Thing - Xavier Leroy