An interesting breakdown of what a type actually is and the various terms in that context (static typing, type inference, and everything else) from the programmer of the Perl 6 virtual machine (Parrot). I find it fascinating to see how increasingly more elements are being discussed and implemented in Perl6 development that have been considered standard in the Lisp world since the 80s. Mainstream programming will eventually catch up to the Lisp world.
The original article can be found at Squawks of the Parrot - here.