At 17:38 +0000 2007-03-29, Mattias Engdegård wrote: >Lars Brinkhoff <[EMAIL PROTECTED]> writes: > > >>Det innebr ofta att man fÂr lgga till mÂnga deklarationer, vilket >>frmodligen kan anses minska lsbarheten. Dock tnker jag mig att kan >>jag abstrahera bort mÂnga sÂdana detaljer genom ett lmpligt >>lager med makron. > >Men att man verhuvudtaget skall behva gra sÂdant manuellt r ju >inte s lyckat. Typinferens och funktionskloning/specialisering borde >vl 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