Mikhail Gusarov -> debian-russian@lists.debian.org @ Tue, 24 Mar 2009 00:55:25
+0600:
AC>> А можно привести _практический_ пример (можно пример, но
AC>> практический), чтобы
AC>> а) оно было строже, чем "обязательное"
MG> Вот "обязательное":
MG> char* f = ...;
MG> int* p = (int*)f;
MG> Хиндли-Милнер такой "типизации" не допустит.
AC>> б) полезнее, чем duck typing
MG> define полезнее.
Не-не-не. Один пример со всеми тремя условиями. А это все
теоретизирования.
И эта... C - это портабельный ассемблер. Если я в сишной программе
проделал вышепроцитированное приведение, это значит, что я хорошо знаю,
что на _этой_ архитектуре оно работает, а равно и зачем оно мне на
_этой_ архитектуре надо. И уж если оно мне понадобилось, то лишать меня
этой возможности - это не хорошо, это плохо.
--
Artem Chuprina
RFC2822: <ran{}ran.pp.ru> Jabber: r...@jabber.ran.pp.ru
If a `religion' is defined to be a system of ideas that contains
unprovable statements, then Godel taught us that mathematics is not
only a religion, it is the only religion that can prove itself to be
one.
-- John Barrow
--
To UNSUBSCRIBE, email to debian-russian-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
