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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 97F8A82355 for ; Mon, 5 Feb 2018 16:27:14 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yawar.amin@gmail.com; spf=Pass smtp.mailfrom=yawar.amin@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f170.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yawar.amin@gmail.com) identity=pra; client-ip=209.85.223.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yawar.amin@gmail.com designates 209.85.223.170 as permitted sender) identity=mailfrom; client-ip=209.85.223.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f170.google.com) identity=helo; client-ip=209.85.223.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="postmaster@mail-io0-f170.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AUsmVFRS+uB+ehEvOEvwU8FHz/tpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69bRyN2/xhgRfzUJnB7Loc0qyK6/mmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfa5+IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0li?= =?us-ascii?q?gIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRDDYOy?= =?us-ascii?q?b4UBAekPM/tGoYbhvFYBtweyCBO2Ce/z1jNFhHn71rA63eQ7FgHG2RQtENAUv3?= =?us-ascii?q?Xattr1LroZXPywzKnJyzXIcvRb2Dfn54nGaB8hu+uAUqh1ccrQz0kiDAzFjlCK?= =?us-ascii?q?pozkOzOZzPgCs2+e7+d5U++klmApqwZ0oje1x8csjJHEhoEJxVDf7yV5w5w5Jd?= =?us-ascii?q?y+SE51Zt6pFoZbuSKCN4ZuXM8uX2VltDw5x7AGo5K3YjYGxZo9yxLCafGLb46F?= =?us-ascii?q?6Q/5WumLOzd3nndldaq/hxms9UigzfXxVsyu31ZLqipJi9jMtncR2xDK5MiLV/?= =?us-ascii?q?lw8lu71TaA0ADT7e5EIUQqmqbBN5EhxbswmoISsUTFACD2hF37gLGKekgg4OSl?= =?us-ascii?q?6OTqbq/4qpOCOYJ4kBzyP6YylsCnBOQ3KAkOX2yV+eSm073j+FX0QbVQgfw4iK?= =?us-ascii?q?bZqorWKt4epq64BQ9YyYkj6xOlADen1NQUh2UILFVAeB6flYjmJ0nOIOzkDfe4?= =?us-ascii?q?m1mjjC1kx/XCPrH4BpXNL2PDkKv6cLZm609czRIzwspF65JVDLEBOvPzVVXruN?= =?us-ascii?q?zWFB9qezCzlsLgEth7xIRWYWWKA6uYePfWtkWF4PAoZfGLYY4RuWagA/cg7v/q?= =?us-ascii?q?y3Q+nAlOU7Ou2M4mYW+xBLxPJkSfKS79i8gICyEDuws4ZOPvgVyGFzVUYiDhDO?= =?us-ascii?q?oH+jgnBdf+Xs/4TYe3jenEhX/jR8wEViV9ElmJVEzQWcCBUvYIZjiVJ5Y4wDMB?= =?us-ascii?q?XLmlDYQm0EP37VOo+/9cNuPRvxYgm9f7ztEsvr/ckBgz8Xp/CMHPizjQHVExpX?= =?us-ascii?q?sBQnoN5I46oUF5zQ3dg61xgvgdFNsLov0QDV98OpnbwOh3Tdv1X1CZcw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CUBABJd3hahqrfVdFcHgEGDIN4P3AVE?= =?us-ascii?q?wqDW4E5lxmCAoQAk0mCFwojhRgCgkUHGQcENxEBAQEBAQEBAQEBARIBAQEICws?= =?us-ascii?q?IKC+COCQBgkcBBAEjHQEbHQEDAQsGBQQBBjcCAiEBAREBBQEcBhOKHAEDDQgQs?= =?us-ascii?q?mVAjBeCBQUBHIMLBYNbChknDVlYggYBAQEBAQEEAQEBAQEBARkCBhKEWIIVgVe?= =?us-ascii?q?FFoJrRAEDhQaCZQWTWpANPoJKhU+IUYUHgh5niViHWoxvfkeJLhQFIIEXOQOBb?= =?us-ascii?q?DMaI1IyggQBAQENCYI9H4IwIzeOdgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CUBABJd3hahqrfVdFcHgEGDIN4P3AVEwqDW4E5lxmCAoQ?= =?us-ascii?q?Ak0mCFwojhRgCgkUHGQcENxEBAQEBAQEBAQEBARIBAQEICwsIKC+COCQBgkcBB?= =?us-ascii?q?AEjHQEbHQEDAQsGBQQBBjcCAiEBAREBBQEcBhOKHAEDDQgQsmVAjBeCBQUBHIM?= =?us-ascii?q?LBYNbChknDVlYggYBAQEBAQEEAQEBAQEBARkCBhKEWIIVgVeFFoJrRAEDhQaCZ?= =?us-ascii?q?QWTWpANPoJKhU+IUYUHgh5niViHWoxvfkeJLhQFIIEXOQOBbDMaI1IyggQBAQE?= =?us-ascii?q?NCYI9H4IwIzeOdgEBAQ?= X-IronPort-AV: E=Sophos;i="5.46,465,1511823600"; d="scan'208,217";a="312120856" Received: from mail-io0-f170.google.com ([209.85.223.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Feb 2018 16:27:13 +0100 Received: by mail-io0-f170.google.com with SMTP id n7so30596928iob.0 for ; Mon, 05 Feb 2018 07:27:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=fuSuLsq+YDt/4clre+2S/ofFF59DEQgiVixFKyMZLxM=; b=FW6FPQRtOXo+3HBewTzRbTx/zxaS1uhJakzvg5YjYoxvr2pXRXFAZKu2ClraBNbf1n djIXAuFbMhGI29+vZeorxD7KSlUzPF5V285UyfYcRTmhe2TreJFDeW5ewePNR0yz/wQs /jmFl5H6nYmcPOy5anJIDL25jSkVAM5msz/umIzxADyp/yBhfIyChQ0arUb/OrseBsvH RnMo3yNrrU+DFtJ8QkTQy4sdaKGBOPgP7CB3OKAGWFg02sZKJf30l8IuOzKWYtt9gjpu wM6Gv3GdW4ihZb6OA5Yd1os4bWeztoJYu8C60oi4y1qVsIdxf3mArsRJMAZKOOEAYtj0 omig== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=fuSuLsq+YDt/4clre+2S/ofFF59DEQgiVixFKyMZLxM=; b=EL069pxDUyF6aLQlTckFbM5j+5HBBNchJt8T9LCYGZg/UEzDX7wGqkQElWsozNdXjV nyv9V44a553zIkt6wGnqUL3AOb8rYWkEHSI/m1zolFHJBAPmEoWf6mWLSR9yF9WgbbZG I+3CmR+QCKJiNFrlTqO1KA2Bxby2S9+0WOOVCHiNx8P9Dx4Ty6KR2Yh30xwABIXVCgLx a19HbDwV/mX2SgK247ortDhEPYhbR2EFmZalsFdBgL3mkDMEcubp/pjeBTXv5aHgV8td 7NcxeaP02Q0YH6JIxXDd+/UaEAr4Y8O/XxJ5YQNv4C8rdY0uB6RRCEa2aCe+nflWuLxX FU9g== X-Gm-Message-State: APf1xPBzPk3a0ZJTbNcgENfRIvo61llvD6YF8JVGNfE+mDgX7Yta0pI0 NvSSiSzXqpHbhofCe+mu3etNxABfCkSoRRK4XQ== X-Google-Smtp-Source: AH8x227RtWlZoBHB9EanI7UzJkjUGKN2XaKnoURljKlDVgQ4PwopkrcTMMwIhCuVOodFgfQocfgHo+btItbAPIIQcGw= X-Received: by 10.107.90.4 with SMTP id o4mr9207790iob.246.1517844431987; Mon, 05 Feb 2018 07:27:11 -0800 (PST) MIME-Version: 1.0 Received: by 10.2.79.67 with HTTP; Mon, 5 Feb 2018 07:26:51 -0800 (PST) In-Reply-To: References: <86wozxmbhm.fsf@gmail.com> From: Yawar Amin Date: Mon, 5 Feb 2018 10:26:51 -0500 Message-ID: To: Lorenzo Pomili Cc: Malcolm Matalka , Ocaml Mailing List Content-Type: multipart/alternative; boundary="f4f5e8077c3c3178f7056478b2f1" Subject: Re: [Caml-list] Run time error on exception --f4f5e8077c3c3178f7056478b2f1 Content-Type: text/plain; charset="UTF-8" Hi Lorenzo, On Sun, Feb 4, 2018 at 1:14 PM, Lorenzo Pomili wrote: > Thanks for reply, one more question there is a way in OCaml, for know if > function can produce side effects? I mean automatic way not read > documentation or source code ^^" > Currently no. But there is ongoing research and development on introducing algebraic effect handlers to OCaml, which will mark functions at the type level (if I understand correctly) as effectful: http://kcsrk.info/ocaml/multicore/2015/05/20/effects-multicore/ Regards, Yawar --f4f5e8077c3c3178f7056478b2f1 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi Lorenzo,

On Sun, Feb 4, 2018 at 1:14 PM, Lorenzo Pomili <lorenz= o.pomili85@gmail.com> wrote:
Thanks for reply, one more question t= here is a way in OCaml, for know if function can produce side effects? I me= an automatic way not read documentation or source code ^^"

Currently no. But there is ongoing research = and development on introducing algebraic effect handlers to OCaml, which wi= ll mark functions at the type level (if I understand correctly) as effectfu= l:=C2=A0http://kcsrk.info/ocaml/multicore/2015/05/20/effects-multicore/


--f4f5e8077c3c3178f7056478b2f1--