Кстати, тут в местном фп комьюнити парнишка написал развёрнутую статью про полиморфизм... что это такое, какой бывает, откуда взялся и так далее... без привязки к языкам и парадигмам https://medium.com/devschacht/polymorphism-207d9f9cd78
Да много применений. Попробуйте без макросов, частичного применения и композиции применить несколько операций на одной структуре данных doThis(doThat(param1, doThird(doFourth(abc)))) Это же ад... с объектами почти прилично abc.doThis().doThat(param1).doThird().doFourth()
Ну и да, в процедурщине не делается упор на чистоту функций
Наверное не делается. Просто в SICP все называют procedures к примеру, хотя имеются в виду замыкания. А ещё я прост вспомнил тут давний спор про то, что такое "функционально" :)
Кстати, тут в местном фп комьюнити парнишка написал развёрнутую статью про полиморфизм... что это такое, какой бывает, откуда взялся и так далее... без привязки к языкам и парадигмам https://medium.com/devschacht/polymorphism-207d9f9cd78
Довелось пописать на элме и невозможность создать сет из чего-то кроме стандартных примитивов по причине отсутствия полиморфизма... сделало меня очень грустным человеком