From: Simen Edvardsen <toalett@...>
Date: 2006-09-21T21:17:12+09:00
Subject: Re: [ANN] Ducktator - A Duck Type Validator

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