Eine Interessante Aufstellung darüber was überhaupt ein Typ ist und der verschiedenen Begriffe in dem Zusammenhang (static typing, type inference und was es noch so alles gibt) vom Programmierer der Perl 6 virtual Machine (Parrot). Ich finde es faszinierend zu sehen wie in der Perl6 Entwicklung immer mehr Elemente diskutiert werden und umgesetzt werden, die im Lisp-Bereich schon seit den 80ern als Standard betrachtet werden. Irgendwann wird die Mainstream-Programmierung mal endlich zur Lisp-Welt aufschließen 
Bei Squawks of the Parrot gibts den Originalartikel.
