Type Safety, JavaScript, Static Analysis, Developer Experience