What is Gradual Typing

Jeremy Siek

Language: English

Description:

(For a Japanese translation, go here) Gradual typing is a type system I developed with Walid Taha in 2006 that allows parts of a program to be dynamically typed and other parts to be statically typed.…

https://wphomes.soic.indiana.edu/jsiek/what-is-gradual-typing/