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 9A78B7EF28 for ; Fri, 26 Jun 2015 22:57:17 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.214.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.214.171 as permitted sender) identity=mailfrom; client-ip=209.85.214.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f171.google.com) identity=helo; client-ip=209.85.214.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-ob0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D1AQDNu41VlKvWVdFbgzA1XwaDGKhRb4FNjlGCGYV4AiiBEAdMAQEBAQEBEgEBAQEHCwsJHzCEGgkBAQMBEhEdARsSCwEDAQsGBQQHGh0CAiEBAREBBQEKEhkIChCFUYImAQMKCA2sXT4xiz+Ba4J5imgKGScDCleFHQEBAQEBBQEBAQEBAQEBFAEFDos8gk2CNQQHgmgPgTQFhVoKjiCEWIUZgWGBOkKGW4hIhU4SI4EVEQaCGxyBbiIxgkgBAQU X-IPAS-Result: A0D1AQDNu41VlKvWVdFbgzA1XwaDGKhRb4FNjlGCGYV4AiiBEAdMAQEBAQEBEgEBAQEHCwsJHzCEGgkBAQMBEhEdARsSCwEDAQsGBQQHGh0CAiEBAREBBQEKEhkIChCFUYImAQMKCA2sXT4xiz+Ba4J5imgKGScDCleFHQEBAQEBBQEBAQEBAQEBFAEFDos8gk2CNQQHgmgPgTQFhVoKjiCEWIUZgWGBOkKGW4hIhU4SI4EVEQaCGxyBbiIxgkgBAQU X-IronPort-AV: E=Sophos;i="5.13,686,1427752800"; d="scan'208";a="138022065" Received: from mail-ob0-f171.google.com ([209.85.214.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Jun 2015 22:57:16 +0200 Received: by obbop1 with SMTP id op1so74127593obb.2 for ; Fri, 26 Jun 2015 13:57:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:cc :content-type; bh=Gs5KFH0C9bkLw0BZcB9xBi/2Pd7V0D6fdV72K8r5juo=; b=boqNNt/Vf8Qb9KWY2fBDOqraDtMmWzmh20zH8JCfbaK3EXEFcJ8l/MgC7XIk0QQpV9 C1mh+omBs3Bh4LyJbNsWCPDodQ/HVAPh6BU0/E2cF5fkzmVwhaVUp5jPoQ17JQtqTANz PBjRsx1DvK7bOg+vOi0aRW6NgEv96/K4byDaOo36q8wKrdKNWus6wSmMadqycwjYH7Pk l5UXDZCLSByipJGn/8y3SyBjcu8+V1uMYLKhjRuCY8psqv5hGnIcXsOnxOEjc2M528OZ s8/7hxlspJgKj2X8N4B2LDFt4yuZXDpyPaDs8LdQa2/qHvcmZJd6eiazXBswJ2SLR/Ih ZY2g== MIME-Version: 1.0 X-Received: by 10.60.85.39 with SMTP id e7mr3087173oez.81.1435352235347; Fri, 26 Jun 2015 13:57:15 -0700 (PDT) Received: by 10.202.191.8 with HTTP; Fri, 26 Jun 2015 13:57:15 -0700 (PDT) In-Reply-To: References: Date: Fri, 26 Jun 2015 16:57:15 -0400 Message-ID: From: Kenneth Adam Miller Cc: OCaml Content-Type: multipart/alternative; boundary=089e0111b6aa1d95af051971fc80 Subject: Re: [Caml-list] jocaml? --089e0111b6aa1d95af051971fc80 Content-Type: text/plain; charset=UTF-8 Personally I was reading the pi-calculus book just last fall, and found jocaml to be very interesting, since it implements a variant of the pi-calculus (called the join calculus). Concurrency constructs embedded as operational semantics in the language definition of the lambda calculus is really brilliant, the implications are rather difficult to reason about however (which is truthfully beyond me at this point, but I'm getting there :)). Did you ever read anything like that? On Fri, Jun 26, 2015 at 4:50 PM, Raoul Duke wrote: > Hm, last updated 2014, but doesn't have sources on a "real" thing like > bitbucket. :-) Anybody using it? In production? Seems good? Anybody > contributing to it? > > thanks > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --089e0111b6aa1d95af051971fc80 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Personally I was reading the pi-calculus book just last fa= ll, and found jocaml to be very interesting, since it implements a variant = of the pi-calculus (called the join calculus). Concurrency constructs embed= ded as operational semantics in the language definition of the lambda calcu= lus is really brilliant, the implications are rather difficult to reason ab= out however (which is truthfully beyond me at this point, but I'm getti= ng there :)). Did you ever read anything like that?

On Fri, Jun 26, 2015 at 4:50 PM, Ra= oul Duke <raould@gmail.com> wrote:
Hm, last updated 2014, but doesn't have sources on a "re= al" thing like
bitbucket. :-) Anybody using it? In production? Seems good? Anybody
contributing to it?

thanks

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocam= l_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--089e0111b6aa1d95af051971fc80--