実装をまったく考慮せずに、文法だけで判断するならば、
型をオプションで記述できる動的型付け言語と、
型が省略可能(推論もされず実行時に決定)な静的型付け言語を、
区別するものは何なんだろうね。