Есть нормальный паттерн-матчинг, нормальные атд (и гадт при должной фантазии), типы высших порядков, literal типы, path-dependent типы и т.п., человеческие трейты, импликиты, трейты, развитая и популярная ФП экосистема.
И самое главное, язык не делается с оглядкой на пускающих слюни джава-дебилов