Why Typescript is bad

на самом деле тут ошибка в том, что ты переопределил тип при вызове функции getUserGreetings

а ошибка тс в том, что он не проверил совместимость типов

Мне кажется этот пример еще лучше показывает самую большую на мой вгзляд проблему тайпскрипта - неумение (в отличие от флоу) проверять параметры у метода объекта

function getUserGreetings(user: { sayHello(user: { firstName: string }): string }) {
  user.sayHello({firstName: "vasya"})
}

getUserGreetings({
  sayHello(user: { firstName: string, lastName: string }): string {
    return "hello" + user.firstName.toUpperCase() + " " + user.lastName.toUpperCase();
  }
})

Есть функция getUserGreetings которая принимает объект с методом seyHello и вызывает его передав объект с одним полем firstName. Дальше эта функция getUserGreetings вызывается с передачей объекта у которого метод sayHello принимает объект не с одним а с двумя полями firstName и lastNamе и мы получаем ошибку в рантайме а тайпскрипт со всеми флагами строгости тупо не видит ошибку

для сравнения
b: number

b: any

по твоему это вывод типов?

когда ты явно указываешь значения элементов энама
их порядок должен быть любым
но здесь порядок влияет на результат

но порождает кривой код

это компилится без ошибки

наброс на кривость тс

Я всё жду когда они займутся более стрёмными проблемами

Channel created