работать с формализмами, а не именно \-калькулюс.
                  
                  
                  Попробуйте что-нибудь пописать, собственный код на haskell сам по себе многие вещи сделает понятными.
                  
                  
                
Пробую. Stepik, Exercism. На степике не понял Москвина про частичное применение ф. Вот и начал копать
Обсуждают сегодня