チャーチ型とカリー型という便利な言葉があるよ https://ericnormand.me/article/church-vs-curry-types

Static vs dynamic typing debates often flounder because the debators see from two different perspectives without knowing it. Learning to identify the two perspectives can calm the discussion. The tension between the two perspectives has led to Gradual Typing and other technologies.

4:56 AM

Swiftはオーバーロードやプロトコル制約付きの関数みたいに、静的に型解決した結果で動作が決まる部分があって、型なしでは挙動を規定できない。こういうのをチャーチ型と言う。

4:56 AM

TypeScriptは型アノテーションの無いJavaScriptに後から型を付け足しただけだから、型アノテーションをただ除去してもプログラムとしての動作が変化しない。こういうのがカリー型。 (edited)