🚀 go-pugleaf

Michal Przybylek <mrp@neostrada.pl> napisał(a): 

> Zaprzeczyl z cala stanowczoscia i odparl, ze co prawda syntaktyka byla
> inspirowana przez C++, ale semantycznie bazowali na ML'u (polimorfizm
> parametryczny Minlera) i Haskellu (type classes Wadlera i Bletta).

istotnie

Wielka różnica (choć nie jedyna) pomiędzy template'ami C++ a resztą jest taka,
że w C++ jak się aplikuje templat'e A<class T> do klasy B, to nie musi klasa B
posiadać wszystkich metod używanych przez template A, a jedynie te które są
używane przez metody A<B> faktycznie używane przez resztę kodu. Tak w duchu
latent-typing.

Natomiast w reszcie (Java, ML, Haskell), żeby zrobić A<B>, B musi mieć
wszystkie metody które są używane przez szablon A.

Tak mi się w każdym razie wydaje.

Jest nawet na to rozróżnienie jakaś ładna nazwa, ale nie pamiętam, możecie
zapytać na LTU.

dlaczego dla ludzi o mocnych nerwach? :-)

MS

-- 
Wysłano z serwisu Usenet w portalu Gazeta.pl -> http://www.gazeta.pl/usenet/