Category Archives: Blog

What is Gradual Typing

(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. The programmer controls which … Continue reading

Posted in Blog | Leave a comment