Gradual typing (段階的型付)

静的型付けと動的型付けの中間に位置する型システム

一部の変数と式には型が指定され、コンパイル時に型検査が行われる。(= 静的型付け)

一部の式は実行時に型エラーが報告される。(= 動的型付け)

多くの場合、動的型付け言語に後から追加される。

例 : PHP

逆に、静的型付け言語に後から追加される場合もある。

例 : C#

最初から段階的型付けの場合もある。

例 : GDScript