Mark Miller wrote: > Peter VAN ROY wrote: > >> Dear all, >> >> I've made a diagram showing all major programming paradigms >> and their relationships: >> - http://www.info.ucl.ac.be/people/PVR/paradigmsDIAGRAM.pdf >> Unfortunately it's in French and I don't have time right now >> to translate it into English.
I will translate it if you send me the source file for the diagram. >> I made it for a keynote talk >> I will be giving in June at IRCAM, the computer music institute >> in Paris. I hope the diagram will still be interesting for you >> (and if someone wants to translate it into English, feel free!). >> All comments are welcome of course. > > Is the object-capability paradigm represented? It's supposed to be the "Programmation fonctionelle sécurisée" (Secure functional programming), I think. However, I would dispute that the presence of Names (a.k.a. Tokens) is what distinguishes capability-secure languages from other languages. In fact it's not features that distinguish object-capability languages; it's lack of certain misfeatures. Also, all of the other distinguishing properties shown on the diagram (state, unification, constraints, nondeterministic choice, ports, streams, call by need, transactions, etc.) are orthogonal to whether a language is capability-secure -- so it would be more accurate just to say that every box has a capability-secure variant. -- David Hopwood <[EMAIL PROTECTED]> (note new address) _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
