Category Archives: Blog

What is Gradual Typing

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 parts are which by either leaving … Continue reading

Posted in Blog | Leave a comment