в плане "синтеза" есть опасность скатиться в микро-дизайн, и если топикстартер приводит в пример высеры Буча и GoF, то это 99% оно и есть, т.е не нужно.

Далее, нет никакого "FP". Есть Ocaml с классами (не к ночи) и навороченными параметрическими модулями, есть Haskell с тайпклассами, монадами (хехе) и простыми модулями, есть Scala (что там в ней есть), есть Erlang с его примочками. Везде есть модули, процессы, сообщения, но все равно нет никакого общего "FP", соответственно, надо смотреть.