漸進的型付け
#型
Gradual Typing
What is Gradual Typing: 漸進的型付けとは何か
漸進的型付け言語の時代に必要なもの
漸進的型付けの未来を考える