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 6C86D7FA5E for ; Sat, 13 May 2017 21:03:41 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.com; spf=None smtp.mailfrom=sp@orbitalfox.com; spf=None smtp.helo=postmaster@orbitalfox.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=pra; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=mailfrom; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@orbitalfox.com) identity=helo; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="postmaster@orbitalfox.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A/i2jjReusJmOdLJZxnKOGSjKlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcq+ZR7h7PlgxGXEQZ/co6odzbGH7+a4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5br5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM37X/ZisJwgqxYrhyuqRNwzIzIb4+aL/d+YqHQcMkGSWZdUMtcVSpMCZ68?= =?us-ascii?q?YYsVCOoBOP5VoZTnqVATqha+HhGsCfjoyj9SnXD23LE63P4lEQHI2wwhEMgCv2?= =?us-ascii?q?jTrNXwLaofV/2+wqrQzTjba/5b2S3x5JXKfxw/u/2AQ7x9fdTLxUUxCw/JkFOd?= =?us-ascii?q?opH/MTyPzOQCqW2b4vJgVe2xj24nrBl8oj+1xsg3i4nJmpgaylTK9SV+z4c5P8?= =?us-ascii?q?G3SEl+YdK8EZtQsT+VN5duT84mQ2xkojs2x78YtZKhYiQHxoorywTBZ/CbbYSE?= =?us-ascii?q?+hfjW/yQITd8inJlYrW/hxOq/Ei70u3xTc600ExRoSpEjtnDrHQN1xLU6smIUP?= =?us-ascii?q?dy4kCh2TOX2wDJ9u5EOVw0lbbcK5M53rE/jJ8TsUDaEi/ymUX2l7OWe14/+umo?= =?us-ascii?q?7uTneq/pqoWdN49ykAH+M74hltaxAeQiYUAyWD2Q8OG4kbni5lHRQbNQj/RwnL?= =?us-ascii?q?OKnordIJEgnubtGBd91Zwp6gq2CzmhwJITmnxRfwENQw6Ok4W8YwKGG/v/F/rq?= =?us-ascii?q?21k=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AyDgAAWBdZ/8rorF9dHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgyplgQmDa5t0lXWCD4YkAgyFDUAXAQEBAQEBAQEBAQFqKIIzIoJ?= =?us-ascii?q?EAQUjHQEBOA8LGAICJgICVxMIAQGKI60aaoImgwkBAQWHNAEpCIELh12CcIUvg?= =?us-ascii?q?kaCYJZ0hwYVlQcBiRWGaZRDIQI0gQpwFUaEaIIPPzaJFQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AyDgAAWBdZ/8rorF9dHAEBBAEBCgEBFwEBBAEBCgEBgyp?= =?us-ascii?q?lgQmDa5t0lXWCD4YkAgyFDUAXAQEBAQEBAQEBAQFqKIIzIoJEAQUjHQEBOA8LG?= =?us-ascii?q?AICJgICVxMIAQGKI60aaoImgwkBAQWHNAEpCIELh12CcIUvgkaCYJZ0hwYVlQc?= =?us-ascii?q?BiRWGaZRDIQI0gQpwFUaEaIIPPzaJFQEBAQ?= X-IronPort-AV: E=Sophos;i="5.38,336,1491256800"; d="scan'208";a="223523122" Received: from orbitalfox.com ([95.172.232.202]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 May 2017 21:03:40 +0200 Received: from [192.168.88.5] (unknown [192.168.88.5]) by orbitalfox.com (Postfix) with ESMTPSA id 53E34AA01EA for ; Sat, 13 May 2017 19:03:39 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=orbitalfox.com; s=orbitalfox; t=1494702219; bh=xFYOTqCK+QjraObptD2VAL42W3cVBtDz3KbXLl68GIM=; h=Subject:To:References:From:Date:In-Reply-To; b=CNpKW4HkMg5iKbtAtHwjJxO4Rih+DDQ+XXRBAYXGeO6ZUo61UNKwtiVdAFKZJryBh RKc4FsVGJd9IXY7wDSRYeyDxUNJJRdRW81GHPvQBpTEid2txtgcbonLLLaUERcsWLr qzIeEQqmCLRHvl+5rqVs0AspONrviSPaqDCTSm/o= To: caml-list@inria.fr References: <1494340093.774647735@f421.i.mail.ru> From: SP Message-ID: Date: Sat, 13 May 2017 20:03:37 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 In-Reply-To: <1494340093.774647735@f421.i.mail.ru> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] [ANN] Clarity - functional programming library for OCaml Thanks for sharing! -- SP On 09/05/2017 15:28, Alexey Egorov wrote: > I'd like to announce first release of Clarity - the library that tries to make pure functional programming idioms as useful as possible given OCaml's absence of higher-kinded types and typeclasses.