Здравствуйте, lomeo, Вы писали:

Ага, дело слегка проясняется. Спасибо вам с джином.

Здравствуйте, Курилка, Вы писали:

К>Здравствуйте, deniok, Вы писали:

D>>Вот коммент в блоге Вадлера с поправками к тому, что говорил Phil Gossett.

К>Странно, лекцию он эту видел, но свою сделал слабже?

А я Вадлера ещё не успел посмотреть (дома канал узковат ). Что, не так интересно?

Здравствуйте, lomeo, Вы писали:

L>Здравствуйте, deniok, Вы писали:

D>>Он, что, может вывести не единственную реализацию?

L>Пример

L>

L>-- Из f :: a -> a -> a можно вывести
L>f x _ = x
L>f _ x = x
L>

L>Две реализации.

Ага. Это как раз пример из лекции.

Здравствуйте, deniok, Вы писали:

D>А я Вадлера ещё не успел посмотреть (дома канал узковат ). Что, не так интересно?

Ну больше всего, думаю, к способу подачи претензии (этот чувак по мне за 30 минут больше интересного дал чем Вадлер за час). Плюс ещё как-то "похватано" из разных областей, дженерики, тайплкассы, новые фичи, как-то незаконечнно показалось. Наверное поэтому и плохо помню уже конкретные подробности