Twas brillig at 19:49:06 23.03.2009 UTC+03 when [email protected] did gyre and 
gimble:

 AC> А можно привести _практический_ пример (можно пример, но
 AC> практический), чтобы

 AC> а) оно было строже, чем "обязательное"

Вот "обязательное":

char* f = ...;
int* p = (int*)f;

Хиндли-Милнер такой "типизации" не допустит.

 AC> б) полезнее, чем duck typing

define полезнее.

-- 

Attachment: pgpqT4ZnDgL5U.pgp
Description: PGP signature

Ответить