Вывод подтипа по примеру=news.ycombinator.com=

Вывод подтипа по примеру ( polybdenum.com )

…но традиционные статические системы типов требуют большого количества ручных аннотаций со стороны программистов, что затрудняет работу с ними… Мне нравится иметь аннотации типов, да, они могут выглядеть некрасиво, но я предпочитаю знать, что такое что-то, чем выводить это самостоятельно.

Значительно облегчает чтение кода, если вы знаете, что делаете.