[M3devel] About modula3.org and modula-3 domain

[Daniel Alejandro Benavides D.]

Hi all:
and please start to think where we want to go, all your wildest Modula dreams might become true:
http://www.ic.unicamp.br/~stolfi/PUB/misc/misc/ramblings/comp/modula/M3-99Wishes.msg

http://www.ic.unicamp.br/~stolfi/PUB/misc/misc/ramblings/comp/ReversingGuardedPrograms.mgs

http://www.ic.unicamp.br/~stolfi/PUB/misc/misc/ramblings/comp/ReversingGuardedPrograms.mgs

Yeah, type inference, plus guarded commands built into language and some Modula-3 Modula type generics type reconstruction before compile time (type checking), and then object generics, who wants to work for (much of this currently solved, who can say about that any other language)?

So, maybe its more profitable to start deploying modula4 modula-4 dot com, co, etc at al. I guess you would believe it.

PS Finally, all type checking type inferencer and verfication condition generator sound and why not heck complete (so everything is always true it's safe and not UNSAFE)

Thanks in advance

--- El mié, 25/5/11, Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es> escribió:

> De: Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es>
> Asunto: [M3devel] About modula3.org and modula-3 domain
> Para: m3devel at elegosoft.com
> Fecha: miércoles, 25 de mayo, 2011 17:38
> Hi all:
> has anyone devised an opportunity to have it, or if it is
> of any help, when would one become important one doesn't
> know (important for others than us), then if so what do you
> think and (are you) waiting? :)
> If any interest in others please if you speak up (e.g .com,
> et al).
> Thanks in advance
>