On 9/21/06, Devin Mullins <twifkak / comcast.net> wrote:
> And "static" means "not at run-time," no?

Haskell is a statically typed programming language. Hugs is a Haskell
interpreter. Is the language Hugs interprets not statically typed,
because the type checking is performed at runtime?

Static typing, I think, is about having type checking as a separate
(conceptually, not necessarily implementation-wise) phase from the
phase that actually performs the program's function, but lets not
start a fight over that, too.

-- 
- Simen