Tea. In the morning, in the day, in the evening, in the night. Juice if I happen to have some, but that isn't too often.

Не борюсь :) Как-то нет у меня такой проблемы.

Нет.

Случайно.

Это та, которую Дана Скотт разработал? Очень слабо. Немного обсуждается у Барендрегта в "Лямбда-исчисление. Его синтаксис и семантика" как модели для лямбда-исчисления, больше ничего не видел.

Есть брат.

А в первый раз о нём услышать из этого вопроса?

http://ru.wikipedia.org/wiki/Инъекция_(математика) :)

Предпочитаю — не заводить врагов :) Если не получается, то сильно зависит от того, какая именно цель и в чём враждебность.

Примерно по порядку:
1. Отношение преподавателя к делу
2. Наличие необходимых исходных знаний
3. Внимание на лекциях, семинарах и лабораторных
4. Удача :)

Почти никогда.

График всех преподавателей ВМ-1, конечно, не знаю :) Напротив кафедры он будет висеть, как обычно. Я буду в понедельник с 9:30 и в четверг с 12:00.

Честно говоря, я не совсем понимаю, в чём дело, но в этом году результаты существенно хуже, чем год назад. На лекциях удалось рассказать раза в полтора меньше и видно, что при этом понимания меньше даже у самых сильных студентов :(

Может быть, стоит попробовать почитать учебники Верещагина и Шеня (http://www.mccme.ru/free-books/), если ещё не читали?

Можно, но времени-то уже почти не остаётся :) На консультации (5 пара в понедельник)

I am not. Oh well.

Думаю, можно ли как-нибудь всё-таки объяснить так, чтобы поняли. Обычно не получается :( И о том, почему не получается. Не усвоили нужных знаний из предыдущих курсов? Или из начала этого?

Хороший вопрос :)

1. Стирание типов-параметров (но это вынуждается совместимостью с Java). Манифесты это частично позволяют обойти, но только частично, и код с их использованием обычно выглядит некрасиво.

2. Некрасивость задания алгебраических типов и расширения типов.

3. Трудно предсказать, где компилятор сможет избежать боксинга.

4. Неудобство расширения стандартных библиотек коллекций. Вообще, стандартным библиотекам есть куда расти, и думаю, что это произойдёт.

5. Отсутствие высокоуровневого метапрограммирования (если не Лиспо-подобных макросов, то хотя бы аналога Template Haskell).

Пока нет, к сожалению. И особого прогресса нет.

За то, что даёт почувствовать себя умным :) Правильно или нет — вот в чём вопрос :)

Немного. При возможности выбора всё-таки предпочту Windows пока.