Пояснишь за "твёрдое ядро"?
ну как я понимаю фп это программа исследовательская так называлась которая типизированное лямбда исчисление решила подрачить ну и понеслось ну и фп название так и закрепилась за всеми фичами которые оттуда вылезли или полезли дальше последствиями этой программы или других которые хоть как то связаны, ну типа реально все че после нее было создано получается можно называть фп