>>517
> 例えば初期のLispだって型はあったし。

初期のLISP（大昔の言語の名前は全て大文字でないと雰囲気がでない）って何？

McCarthyらのマニュアルが有名でMIT以外でも広く知られ使われるようになった最初のバージョンのLISP 1.5は典型的な動的型付き言語だっただろ
その後のMACLISPやINTERLISP、それらを統合したCommon Lispや現代的（＝静的なバインディングでλ計算と正しく対応するように直した）Lispの草分けのSchemeとそれを参考にしたEuLisp/ISLispと
Lisp言語族に属する主要な言語は全て式や変数には型が付いておらず（少なくとも必ずそれらに型が付いている訳ではない＝オプショナルに型情報を付加するのはアリ）値には型の区別のある
動的型付け言語だよ

静的な型付け言語とは、変数・式という構文上の対象に対して必ず型の情報＝型による制限が強制される言語
オプショナルに型情報をそれらに（一種のアノテーションとして）付加できるのでは静的型付けとは言わない