Lex Spoon

I'm Lex Spoon, a software enthusiast living in Atlanta, GA. I write on Substack and on my home page in addition to here.

Showing posts with label types. Show all posts
Showing posts with label types. Show all posts
Wednesday, January 25, 2012

The good and bad of type checking, by example

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

Cedric on type erasure

›
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 ...
Thursday, June 9, 2011

Two kinds of type inference

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

Types are fundamentally good?

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

Typing arithmetic in Datalog

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

Type checkers aren't just error detectors

›
Type checking is frequently put forward as a way to find errors that otherwise would have slipped through testing. I've never found this...
›
Home
View web version
Powered by Blogger.