@bascule @feyeleanor Otherwise they're just runtime type checks.
@evanphx @feyeleanor seems like you can have a mixture of AOT and runtime type errors with gradual typing
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
@evanphx @feyeleanor seems like you can have a mixture of AOT and runtime type errors with gradual typing