[nem-pl] skladnia

[Michal Moskal]

On Wed, Oct 29, 2003 at 03:27:53PM +0100, Lukasz Kaiser wrote:
> > To zależy gdzie. Jeśli chcesz mieć polimorficzne metody w obiektach w
> > OCamlu, to musisz zmienne typowe napisać (skwantyfikować). Ogólnie nie
> > pisze się ich podobnie, jak nie pisze się typów.
> 
> Rozumiem, ze to jest kwestia inferencji typow i zostawiamy ja na za jakis
> czas. Na razie dzieki za "module " :).

O module myślałem już wcześniej. To się chyba nazywa statyczna klasa w
C#. Tam wszystko co normalne nazywa się statyczne... Anyway sens istnienia
tego bytu jest taki, że programowanie funkcjonalne zakłada pasywne dane
i aktywne funkcje. Wobec czego tworząc jakąś strukturę danych tworzymy
dla niej typ oraz funkcje. To sa dwie osobne, równoległe rzeczy. Nie
wiem czemu ludzie od OO uparli się, żeby funkcje umieszczać w typie.

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith : GCS {C,UL}++++$ a? !tv
: When in doubt, use brute force. -- Ken Thompson : {E-,w}-- {b++,e}>+++ h