If we want to have static typing, I think it is important that the core team supports it. Otherwise we would end up with outdated definition files etc.
Are their opinions mixed about TypeScript or about static typing at all? I think if it comes to optimization (during transpilation) static typing gives us more space for improvements. All the other arguments have their pros and cons but using type information for optimization would be neat