про вывод типов тебе дали ответ.

>Какие эти в многофункциональном программировании плюшки в сравнении с ООП?

ФП и ООП не надо противопоставлять. особенно в передовых ООП языках много ФП, а большая часть обычно идущих в ногу со временем многофункциональных языков абсолютно себе объектно-ориентированные. о плюшках — быстро читай, например, журнальчик http://fprog.ru/.

Ещё, про парадигм, я бы посоветовал взаправду ветхую заметку из блога изобретателя языка Factor Славы Пестова http://factor-language.blogspot.com/2005/12/programming-language-paradigms-ar В качестве превосходного прочистителя мозгов :).

К традиционным механизмам ФП (а совсем не ООП) относятся, к примеру, замыкания. которые есть во множистве прекрасно идущих в ногу со временем языков, включая, очевидно, и Groovy.

Боюсь привидеться очевидным, хотя о реализации ООП через ФП можнож долго уважать очень-то в традиционном учебнике «Структура и интерпретация компьютерных программ» (SICP). легко располагается в сети по-человечески на комфортном вам языке, вроде перевод издавался и на бумаге.