Лямбда-исчисление — это очень специфическая математика, никак не математическая классика. Пришедшие в программирование со стороны математики, особенно прикладной, скорей пишут в стиле Фортрана-66 — сам видел.
Что же касается ФП, то лично я его освоил по прекрасной книге «Higher-Order Perl», подход в которой ничуть не математический, а чисто программистский: вот как красиво можно решить сложные задачи. Следовательно, путь из абстрактной математики — не единственный.
Лямбда-исчисление — это очень специфическая математика, никак не математическая классика. Пришедшие в программирование со стороны математики, особенно прикладной, скорей пишут в стиле Фортрана-66 — сам видел.
Что же касается ФП, то лично я его освоил по прекрасной книге «Higher-Order Perl», подход в которой ничуть не математический, а чисто программистский: вот как красиво можно решить сложные задачи. Следовательно, путь из абстрактной математики — не единственный.