Не везде. Меня не учили, к примеру. У нас на семестре с ФП на лекциях были лямбда-счисление с комбинаторами, на практике совершенно оторванные от лекций лабы на SML, плюс не очень умный преподаватель попросил не очень умных студентов (включая меня) перевести ему эти лабы на F# (мы не справились, а потом выяснилось, что он из года в год ищет себе тех, кто в конце концов это сделает) (привет
@Andrew_Shimanskiy, да :D)