type inference и все-все-все
Последние годы наблюдается кстати, очень забавный процесс - все великие достижения функциональной науки активно ассимилируются мэйнстримом - при этом сама по себе "функциональная парадигма" более или менее выкидывается за полной ненадобностью.

В частности type inference кажется просто превращается в способ дизайнить статически типизированный язык так, что типы писать в нем надо по минимуму (это не так просто - потому что классический дизайн перегружен всякими неявными кастингами и прочими украшательствами, плохо совместимой с).

И это правильно. Потому как FP - не "парадигма", а просто набор удобных технических решений по историческим причинам зародившихся в этой подсистеме.