@munificentbob @jashkenas : that's actually my favorite thing about optional/gradual types: they're for humans, not for machines. 'bout time
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@munificentbob @jashkenas : that's actually my favorite thing about optional/gradual types: they're for humans, not for machines. 'bout time