Здравствуйте, 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 минут больше интересного дал чем Вадлер за час). Плюс ещё как-то "похватано" из разных областей, дженерики, тайплкассы, новые фичи, как-то незаконечнно показалось. Наверное поэтому и плохо помню уже конкретные подробности