ну когда я учился - у нас вот ФЛП - функциональное и логическое программирование . и было там 80% пролога и 1 лекция по лиспу %) это атас, конечно же , еще и на 4ом курсе.
но сейчас ФЛП оккупировал Артем вроде как, и проталкивает F#. я знаю его любовь к продуктам MS , но почему бы не OCaml например, или Scheme?
но он это парировал тем , что не против, если студенты принесут лабы хоть на скала, просто студенты лентяи