3 ms·The type system?by eudox 12y agoThe type system?nkozyra 12y agoThe type system doesn't preclude any of the requirements he listed (other than it simply not being Go)