Выводы: если что-то работает, но мы не видим, что за этим стоит обширная теория, может казаться, что оно просто работает, но нет, как Маккарти понял из Черча только слово функция и еще символ лямбда понравился, примерно в таком же стиле процедурное программирование связано с машиной Тьюринга. Просто мы еще находимся на начальном этапе становления программирования, через 200-300 лет могут быть построены адекватные теории, а сейчас пока много мифов и псевдонаучного бреда, не нужно делать вид, что все все поняли и из правильной теории напрямую вывели красивую практику и построили технические решения, все складывалось кое-как, работает и работает. Затем вывели из практики инженерные обобщения как GRASP, SOLID, GOF, они ненаучны, они полностью практичны, и ограничены, но работают, более того, и для ФП работают, имея определенные ограничения, нужно больше времени, чтобы объединить это в теорию, и вот когда ее выведут, общую для всех парадигм, то людям, которые будут учиться по новым книгам, будет казаться, что это все так и было выведено сразу гладко и согласовано.

https://youtu.be/bUwCRiED4Uo