Это как раз очень нужная фича. Это огромная пробоина в системе типов TS. Без нее даже полиморфные замыкания не реализовать без костылей, хоть явные хоть неявные: https://github.com/microsoft/TypeScript/issues/41121
Сколько джс не типизируйте, он хаскелем/растом не станет. Я не советую джс-полиморфные функции использовать, если хотите красивой типизации в ТС
полиморфные лямбда функции если что есть даже в C++ 14-го года)
Обсуждают сегодня