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

[Daniel Alejandro Benavides D.]

Hi all:
well, instead of redirection, what about mirroring?
We have already a public machine here to do that (first ip #, later another domain I guess or), which ports will we needed to open (does dcvs installation help)?
Thanks in advance

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

> De: Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es>
> Asunto: Re: [M3devel] About modula3.org and modula-3 domain
> Para: m3devel at elegosoft.com
> Fecha: jueves, 26 de mayo, 2011 22:18
> 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
> >
>