p_govorun: Лингвистическое

Лингвистическое
Мы тут с

mbw@lj немного в слова поиграли. Орех кругл, ведь так? Орех едят, не правда ли? Вот и получаем, что:
Орех кругл и едят.

(Читать комментарии) - (Добавить комментарий)

	(Анонимно) 2009-01-31 16:28 (ссылка)
	В ней полиморфизм не предусмотрен. А когда его начинают сверху руками прикручивать, то вот такое вот и получается. :) (Ответить) (Уровень выше) (Ветвь дискуссии)

migmit.vox.com
2009-01-31 16:54 (ссылка)

Нихрена, в полиморфных системах тоже такие штуки не проходят. Хрестоматийный пример

f g = (g 0, g True)

благополучно обломается. Проблема в том, что в падежах нельзя ставить аннотации типов, ибо

f :: (forall a. a -> a) -> (Int, Bool)
f g = (g 0, g True)

нормально скомпилится.

(Ответить) (Уровень выше)

(Читать комментарии) -