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 2D9F47F216 for ; Tue, 12 Feb 2013 13:16:46 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of louis.mandel@lri.fr) identity=pra; client-ip=129.175.33.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="louis.mandel@lri.fr"; x-sender="louis.mandel@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of louis.mandel@lri.fr) identity=mailfrom; client-ip=129.175.33.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="louis.mandel@lri.fr"; x-sender="louis.mandel@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp1.u-psud.fr) identity=helo; client-ip=129.175.33.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="louis.mandel@lri.fr"; x-sender="postmaster@smtp1.u-psud.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4CAB4yGlGBryEplGdsb2JhbABEwTUWDgEBAQEJCwkJFAQjgmCBfQGIJK8EkBGRJmEDl0GKJogX X-IPAS-Result: Aj4CAB4yGlGBryEplGdsb2JhbABEwTUWDgEBAQEJCwkJFAQjgmCBfQGIJK8EkBGRJmEDl0GKJogX X-IronPort-AV: E=Sophos;i="4.84,650,1355094000"; d="scan'208";a="1937070" Received: from smtp1.u-psud.fr ([129.175.33.41]) by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Feb 2013 13:06:02 +0100 Received: from smtp1.u-psud.fr (localhost [127.0.0.1]) by localhost (MTA) with SMTP id 83082251E8C; Tue, 12 Feb 2013 13:16:45 +0100 (CET) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by smtp1.u-psud.fr (MTA) with ESMTP id EE66D250B49; Tue, 12 Feb 2013 13:16:44 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by ext.lri.fr (Postfix) with ESMTP id F1AE040A41; Tue, 12 Feb 2013 13:16:44 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at lri.fr Received: from ext.lri.fr ([127.0.0.1]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id EVTO22dRSxkI; Tue, 12 Feb 2013 13:16:44 +0100 (CET) Received: from dhcp237.dmi.ens.fr (dhcp237.dmi.ens.fr [129.199.97.237]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by ext.lri.fr (Postfix) with ESMTPSA id D00094032E; Tue, 12 Feb 2013 13:16:44 +0100 (CET) From: Louis Mandel Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Date: Tue, 12 Feb 2013 13:16:44 +0100 To: OCaml List , list@reactiveml.org Message-Id: <55640F2C-75F4-4A44-B906-5EE905F9BFF2@lri.fr> Mime-Version: 1.0 (Apple Message framework v1283) X-Mailer: Apple Mail (2.1283) Subject: [Caml-list] ReactiveML 1.08.04 We are happy to announce the new release of ReactiveML (http://reactiveml.o= rg) with its online toplevel (http://reactiveml.org/tryrml)! ReactiveML is a language similar to OCaml extended with a built-in notion o= f parallel composition. It is based on the reactive synchronous model, a ki= nd of cooperative multithreading with a global notion of time. The language is well suited to program applications with a lot of parallel = processes which communicate and synchronize a lot such as video games or si= mulation problems. ReactiveML is compiled into plain OCaml code and thus can link or be linked= to any OCaml code. This new version includes in particular: - an online toplevel (thanks to js_of_ocaml, tryocaml and Mehdi Dogguy) wit= h an interactive tutorial - a new static analysis which checks that programs are cooperative - a version of ocamlbuild dedicated to ReactiveML: rmlbuild -- Louis Mandel for the ReactiveML development team=