undefined | Better HN

0 pointsshhsshs6y ago0 comments

    a := Bar(baz)(buzz)

Is Bar a `func(some) func(thing) other` or is it a `func(type T)(some) other`? You need to know what “baz” is to be able to tell.

0 comments

agrajag6y ago

Yeah, it's ambiguous, but be realistic: how often are you calling a function with a function return just to invoke that directly?

You usually won't see much of either sinice the type argument is only necessary when it can't be inferred.

imtringued6y ago

In Haskell this happens every time you call a function with two or more arguments.

helper6y ago

Normally you wouldn't write that since the compiler will be able to infer the baz type based on buzz (assuming this is a call to a generic function).

weberc26y ago

That's a fair point, but there are still times when being explicit is useful or even required, and it doesn't hurt to use syntax that disambiguates easily.

j / k navigate · click thread line to collapse