Re: Can we factor out our type systems?

[Joe Marshall <address@hidden>]

"Peter J. Wasilko" <futurist@cloud9.net> writes:

> Greetings All,
>
> Would it be feasible to 'factor out' the type system (ie. the analysis
> performed on type information explicitly or implicitly present in one's
> code) and treat it as orthogonal to the rest of one's language design by
> adopting some suitable optional type annotation convention that could be
> drawn on by a number of alternative 'type checking plugins'?

I don't see why one couldn't *in principle* do this, but some of the
statically typed languages have static typing so interwoven with the
language that it simply makes no sense to talk about `factoring it
out'.