typing

[Luc Taesch]

James Hague wrote:

> >are there already some feedback on that approach ? is it "academic" or
> frozen ?
> >used in projects?
>
> I asked this not too long ago.  The response was that the type system was a
> cancelled project.

any reason given ? i ve read some papers , like soft typing, type
verification, and so on.

is it cancelled for budget reason, or lack of interest, or as it broke the
currents existing code  ?

or just because they dont believe hard enough in typing ?
or any other deeper technical reason ?

>
>
> James

--
First, they ignore you.
Then, they laugh at you.
Then, they fight you.
Then, you win.

--- Gandhi.

Working code is what matter, not your market capitalization.
--Kurt granroth