What's the best way to minimize the need of run time checks?

[Chris Angelico]

On Thu, Sep 1, 2016 at 5:12 PM, Gregory Ewing
<greg.ewing at canterbury.ac.nz> wrote:
> Chris Angelico wrote:
>
>> You might have won the 100m dash, except that we couldn't verify your
>> velocity of locomotion without a... run time check. Badumtish.
>
>
> All is not lost. You just need to devise a type system
> capable of proving that his time is faster than any
> other runner in all possible races.

Wouldn't that be rather racist?

Or maybe racy. I'm not sure.

ChrisA