Gradual Typing

I recently started a PhD at the Australian National University , doing research into gradually typed programming languages. Since I'm probably going to have to explain this a lot, I thought I'd write a quick explanation of what gradual typing is. In a future post I will then talk about what specifically I'm doing. Static and Dynamic Types In programming languages, there has long been a distinction…