Lex Spoon

I enjoyed watching Gilad Bracha present Dart to a group of Stanford professors and students. As one might expect, given Bracha's backgr...

I've been meaning to get around to posting on type erasure, and Cedric Beust beat me to it : The main problem is that reified generics ...

There are two separate lines of work on type inference. While they are superficially similar, they face very different design constraints. L...

Once in a while, I encounter a broad-based claim that it's fundamentally unsound to doubt the superiority of statically typed programmin...

Unlike in imperative languages, arithmetic in Datalog can execute in different orders. If you write a formula z=x+y in an imperative langua...

Type checking is frequently put forward as a way to find errors that otherwise would have slipped through testing. I've never found this...