разговоры про типы которые не нужны напоминают разговоры людей которым подсветка рябит в глазах и мешает воспринимать код)
типы которые нужны и удобны стали относительно недавно появляться. Джава, хаскел, окамл и цпп 15-20 лет назад - это не такие какие раст, свифт, обжси и цпп сегодня