>>>>> "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 agree that it's generally good documentation (and good debugging aid when
you get a type error), but when you just need a small function to pass to
`map' or `fold' (i.e. cases that correspond to loop bodies in procedural
languages), it can be convenient not to have to write the types.

> person hacks, like compilers, interpreters, theorem provers, but it doesn't
> scale well to programs with many programmers involved.

I don't think that has much to do with the number of people involved.
I have enough trouble understanding code written by "myself a year ago".


        Stefan