漸進的型付け

漸進的型付けは Siek や Taha によって提案された、プログラムの一部を動的型付けし、他の部分を静的型付けすることを許容する型システムです。

現在は田邉が京都大学やNIIと共に、漸進的型付けのための型理論や効率的な実装に関する共同研究を行っています。