ulidtko 26.03.2012 11:29

Посмотрите, сколько static typing-проблем в этом треде: http://www.coyotos.org/pipermail/bitc-de...

System F как неподходящая система типов, проблемы с ad-hoc полиморфизмом и typeclasses, избегание subtyping, and more!

PL, FP, кокококо
Recommended by: @kb
#osgsgi
re add comment !recommend ~bookmark Ssubscribe
Do you really want to delete ?