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