Adding static typing to Python

[Garry Hodgson]

Drew Csillag wrote:
> 
> On Tue, Feb 19, 2002 at 10:58:33AM +0100, Gerhard Häring wrote:
> > Le 19/02/02 ? 03:18, Grant Edwards écrivit:
> > > In article <mailman.1014085471.28317.python-list at python.org>, Chris Gonnerman wrote:
> > >
> > > > Ultimately, adding static typing to Python results in a different
> > > > language; it's not Python anymore.
> > > >
> > > > If you don't like Python because the typing isn't strong, use Ada,
> > > > or C++, or Pascal...
> > >
> > > You might also want to take a look at Modula-3.  Anybody used
> > > to Python will recognize many of the language features.
> >
> > Modula-3 also looks great, as did Sather to mee. But both seem seem to
> > have no compilers that are actively maintained.
> >
> > So I'm still leaning towards Ada 95 and C++ for statically typed
> > languages.
> 
> If you want really statically typed, you probably want to take a look
> at Eiffel.

check out ocaml, too.

-- 
Garry Hodgson                   Let my inspiration flow
Senior Hacker                      in token rhyme suggesting rhythm
Software Innovation Services    that will not forsake me
AT&T Labs                          'til my tale is told and done.
garry at sage.att.com