Mikhail Gusarov -> [email protected] @ Mon, 23 Mar 2009 20:52:26
+0600:
AC>> Когда необязательно - она уже нестрогая...
MG> Построже иных, гм, "обязательных". RTFM выведение типов по
MG> Хиндли-Милнеру.
А можно привести _практический_ пример (можно пример, но практический), чтобы
а) оно было строже, чем "обязательное"
б) полезнее, чем duck typing
в) и не было инструментом для обхода предварительно специально
разложенных грабель типа перегрузки операций с потерей семантики (как +
для конкатенации строк).
--
Artem Chuprina
RFC2822: <ran{}ran.pp.ru> Jabber: [email protected]
Обновление Windows изменило интуитивно ясный интерфейс Вашего компьютера.
Загрузите обновление интуиции с сайта Microsoft.
(С)энта
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
