強い型付け
暗黙の変換
を許さない
型システム
のこと。
例
OCaml
OCamlは
強い静的型付け
。
Python
Pythonは
強い動的型付け
。