2 ms·

The type system doesn't preclude any of the requirements he listed (other than it simply not being Go)