Har alltid trott att ett statisk typat språk kan klara sig utan taggade värden, 
men blev förvånad när jag läste om ghc och att de har tags på alla objekt.

För skräpsamlaren antar jag, men ändå, är det inte åtminstone teoretiskt 
möjligt att vara utan tags i en Haskell-miljö?

Cons T Åhs <[EMAIL PROTECTED]> skrev: At 17:38 +0000 2007-03-29, Mattias 
Engdegård wrote:
>Lars Brinkhoff  writes:
>
>
>>Det inneb”r ofta att man fÂr l”gga till mÂnga deklarationer, vilket
>>f–rmodligen kan anses minska l”sbarheten.  Dock t”nker jag mig att kan
>>jag abstrahera bort mÂnga sÂdana detaljer genom ett l”mpligt
>>lager med makron.
>
>Men att man –verhuvudtaget skall beh–va g–ra sÂdant manuellt ”r ju
>inte s lyckat. Typinferens och funktionskloning/specialisering borde
>v”l kunna eliminera behovet av de flesta deklarationer?

Det är det som gör ett språk som SML så väldigt trevligt.  Statisk typning via 
typinferens ger väldigt många fördelar, både vad det gäller utveckling 
(typinferensen fångar mycket) och läsbarhet (man slipper själv deklarera sina 
typer).

Att sedan SML inte har en lika vacker syntax som Lisp ligger den förstås i 
fatet.

Cons


_______________________________________________
Lisp mailing list
Lisp@lisp.se
http://mailman.nocrew.org/cgi-bin/mailman/listinfo/lisp


       
---------------------------------

Stava rätt! Stava lätt! Yahoo! Mails stavkontroll tar hand om tryckfelen och 
mycket mer! Få den på http://se.mail.yahoo.com
_______________________________________________
Lisp mailing list
Lisp@lisp.se
http://mailman.nocrew.org/cgi-bin/mailman/listinfo/lisp

Till