(no subject)

Поездка в Киев на семинар прошла в напряжённом, но занимательном режиме. Приехав в 7:30, мы, как самые умные, не стали страдать в привокзальных забегаловках, а отъехав пару остановок на троллейбусе, с шиком расположились в пустой, утренней "Пузатой Хате". Потом наша компания, по наводке, рванула на другой конец Киева, чтобы попутешествовать в патентованном трёхмерном кинотеатре IMAX по Международной Космической Станции. Эффект присутствия был просто потрясающий. Ну буквально как будто кинотеатр оказался прямо в космосе. Кино закончилось за 45 минут до начала семинара, так что пришлось двигаться шагом, местами переходящим в бег, чтобы успеть, но мы успели.

На семинар пришло не менее 40 человек. Первым докладчиком был nponeccop, однако он переоценил подготовленность публики и начал со слишком серьёзных результатов, так что пришлось Роме вернуться к азам и провести небольшой ликбез по основам. И он сделал это настолько зажигательно, рассказав про типизированное лямбда-исчисление по Карри, способ вывода термов по Хиндли-Милнеру, что, по-моему, представление об этом получили все, даже если до этого о предмете только слышали. Люди начали активно задавать вопросы, обсуждать и после доклада наградили выступающего заслуженными, бурными аплодисментами.