Geek is an experimental, compositional typestate oriented languagecode.google.com3 pointsevangineer15 years ago