Partial Application (PA) Proposal for Haxe

gistfile1.hx

// - Implicit and explicit PA (via partial function)
// - Implicit as default usage, explicit for corner cases, where meaning is ambigous
// - Explicit PA can handle all cases that implicit PA can handle + corner cases

function foo(x:Array<Int>, ?a:Int, ?b:Int):Void;

// Implicit         Explicit               Type
foo(_)          <=> foo.partial(_)      // Array<Int>->Void
foo(_,_)        <=> foo.partial(_,_)    // Array<Int>->?Int->Void
foo(_,_,_)      <=> foo.partial(_,_,_)  // Array<Int>->?a:Int->?b:Int->Void
                    foo.partial([])     // Void->Void, implicit PA not available because foo([]) is ambigious
foo([], _,_)    <=> foo.partial([],_,_) // ?a:Int->?b:Int->Void


function bar(?a:Int, ?b:Int):Void;

                     bar.partial()      // Void->Void, implicit PA not available because bar() is ambigious
bar(_)           <=> bar.partial(_)     // ?a:Int->Void
bar(_,_)         <=> bar.partial(_,_)   // ?a:Int->?b:Int->Void

function fooBar(?a:Int):Void;

                     fooBar.partial() // Void->Void, implicit PA not available because fooBar() is ambigious