[M3devel] Renewed interest in Modula-3 in HP Labs

[Daniel Alejandro Benavides D.]

Hi all:
for sure yes, it's a first-order prototype-oriented functional programming language for writing programming language's type systems (in Spanish-native tongue countries like Abadi's, most common games or toy tool are Baby dolls, if you care. hence its name if I may say so).
Basically the  language itself is not dissimilar from Modula-3 in its object-oriented part. It has a type system in lambda calculus, written for its meta-languages as well (e.g. Modula-3). Its denotational semantics are expressed in a natural deduction system logic.
Basically was constructed to explain object oriented languages, though it wasn't written specially for that, but for type system calculus construction (you could say a kind of IBM's Axiom for computers science type theoretician  if I may say so).
No other system besides DEC ones had ever play with it (its functional language although simple is not easily executable so Cardelli and others decide to use a different calculus for their joint Book "A Theory of Objects"). But at the  very core issue of unification it lead the work on type systems for its times.
Thanks in advance


--- El dom, 3/6/12, Hendrik Boom <hendrik at topoi.pooq.com> escribió:

De: Hendrik Boom <hendrik at topoi.pooq.com>
Asunto: Re: [M3devel] Renewed interest in Modula-3 in HP Labs
Para: m3devel at elegosoft.com
Fecha: domingo, 3 de junio, 2012 16:18

On Sun, Jun 03, 2012 at 05:51:51PM +0100, Daniel Alejandro Benavides D. wrote:
> semantics, which is the natural deduction system of Baby Modula-3 

You keep mentioning Baby Modula 3, but I have no idea what it is.  Can 
you expalin and provide lins?

-- hendrik

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20120603/d307abcf/attachment-0002.html>