Remember that Go vs D MQTT thing and how we wondered about dmd vs gdc?
Russel Winder
russel at winder.org.uk
Fri Mar 7 11:34:39 PST 2014
On Fri, 2014-03-07 at 19:16 +0000, Graham Fawcett wrote:
> On Friday, 7 March 2014 at 18:58:18 UTC, Russel Winder wrote:
>
> > It's just a pity no-one yet has a
> > realization of π-calculus as well – other than the programming
> > language Pict, and the Scala library PiLib.
>
> JoCaml, an extension of Ocaml, also comes to mind. It's
> join-calculus, not pi-calculus, but I understand that each can be
> encoded in the other.
I haven't done anything with OCaml other than compiling Unison, so
didn't realize they had gone this route.
Re join-calculus vs π-calculus, I have no direct experience, but I
suspect that it will be like actors and dataflow and CSP: each can be
realized in one of the others, but if you want things to be efficient
you realize them separately.
--
Russel.
=============================================================================
Dr Russel Winder t: +44 20 7585 2200 voip: sip:russel.winder at ekiga.net
41 Buckmaster Road m: +44 7770 465 077 xmpp: russel at winder.org.uk
London SW11 1EN, UK w: www.russel.org.uk skype: russel_winder
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: This is a digitally signed message part
URL: <http://lists.puremagic.com/pipermail/digitalmars-d/attachments/20140307/3ee196f7/attachment-0001.sig>
More information about the Digitalmars-d
mailing list