I now have a development version of Taipo that supports optional types (ie. String? matches both 'foo' and nil). The syntax is borrowed from Swift (or at least that’s where I borrowed it from); not sure if Rubyists will like it or not.