Version française
Home     About     Download     Resources     Contact us    
Browse thread
Same label in different types, how do people solve this?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Mattias Waldau <mattias.waldau@t...>
Subject: RE: Functions must be explicitly typed, (was Same label in different types, how do people solve this?)
>>> >>>>> "Mattias" == Mattias Waldau <mattias.waldau@abc.se> writes:
>>> > I don't really see the use of infering types for functions. It works
for one

I was wrong! It is very nice to have type inference for local and anynomous
functions.

>>
>> I would like to note that type inference (i.e. code without
>> annotations) helps a lot when developing programs: the annotation free
>> code is not only easier to write but also easier to maintain since it
>> is kind of ``auto-adaptative'' and resistant to reorganisations and
>> names modifications.

If this were important, we shouldn't have different operators for * and *.
I had to change a program from integers to float recently, and it isn't fun
at all.

/mattias