.bind() ignores optional arguments when returns new binded function

[grisevg]

Haxe 3.1.3.
Piece of code says it's better than a thousand words:

var foo = function(lo:Int, bar:String):Void {}
var foo2 = function(?lo:Int, ?bar:String):Void {}
$type(foo.bind(5)); // String -> Void
$type(foo2.bind(5)); // Void -> Void

$type(foo2.bind(5)); should be ?String -> Void instead.

[frabbit]

that's how bind works. If you don't want to bind optional arguments you have to do it explicit like:
foo2.bind(5,_)

[grisevg]

wooooow.... thank you! it would be very useful to say that in official docs :D

[frabbit]

that's why i created an issue for this ;)

[grisevg]

thank you very much

[Simn]

I wonder why we designed it like that...

[frabbit]

I don't know, do you think it would be better to not bind optional arguments by default? I guess that's a matter of taste.

[ncannasse]

Both are arbitrary choice, but I found by experience that in general you want to have the optional arguments ignored, hence the design

[Simn]

But you could still ignore them when calling the resulting function, which is why it seems to be more flexible that way.

[ncannasse]

The problem is that you cannot erase optional arguments when unifying functions.