Лямбда исчисление переоценено. Учить его, чтобы постичь ФП, - не нужно. И теорию категорий не нужно. И теорию типов не нужно.
Вообще, не слушайте хаскеллистов, которые пытаются вас в этом убедить. У хаскеллистов, увы, bias слишком смещен в сторону cool things, и они нередко советуют то, что человеку вредит