Re: Migrating a system incrementally. Was: Re: Static vs. Dynamic typing (big advant

Ian Upright <ian-news@upright.net> wrote in message news:<1a25g0hdivjg9dfpeb
dgau2dstdbbdob7v@4ax.com>...

-snip-
> My use of the term as I understand it means that the program has type
> declarations, vs. not having type declarations.

AFIAK that would be explicit types vs implicit types (aka manifest
types vs latent types).

static typing usually means static type-checking (with or without
explicit types).