いくつかのパラメータをカリングするメソッドへのデリゲートを動的に作成できますか（式のコンパイルやDynamicInvokeを使わずに）

Question

いくつかのパラメータをカリングするメソッドへのデリゲートを動的に作成できますか（また、式のコンパイルやDynamicInvokeを使わずに） DynamicInvokeで

カリー化は、式のラムダで

var methodInfo = typeof(MyTools).GetTypeInfo().GetDeclaredMethod(nameof(MyTools.MyMethod)); 
var delegateType = typeof(Func<,,>).MakeGenericType(typeof(int), typeof(int), typeof(int)); 
var @delegate = methodInfo.CreateDelegate(delegateType); 
var i2 = 1; 
var func = (i1) => { return (int)(@delegate.DynamicInvoke(i1, i2)); }; 

ようになり呼び出すには、それも可能であるコンパイルが、私はそこにそれをスキップ。

私の検索では、i2を受け入れるいくつかの追加パラメータが必要です。curryingを実行し、タイプFunc <のデリゲートを返します。

P.S.ラムダコンパイルの価格は、JIT_MethodAccessCheckのために実行時に発生するオーバーヘッドです。私はJIT_MethodAccessCheckを使わずに削除を作成することができるはずです。

Answer 1

さまざまな引数カウントを持つメソッドの上書きのシリーズを作成することにより、任意の関数をカレーことができます。

public static class Prelude 
{ 
    public static Func<T1, Func<T2, R>> curry<T1, T2, R>(Func<T1, T2, R> f) => 
     (T1 a) => (T2 b) => f(a, b); 

    public static Func<T1, Func<T2, Func<T3, R>>> curry<T1, T2, T3, R>(Func<T1, T2, T3, R> f) => 
     (T1 a) => (T2 b) => (T3 c) => f(a, b, c); 

    public static Func<T1, Func<T2, Func<T3, Func<T4, R>>>> curry<T1, T2, T3, T4, R>(Func<T1, T2, T3, T4, R> f) => 
     (T1 a) => (T2 b) => (T3 c) => (T4 d) => f(a, b, c, d); 

    // ... etc ... 
} 

次の私は、私はあなたのMyTools.MyMethodがどのように見えると思う何のためのプレースホルダ機能を定義します。

using static Prelude; 

public class CurryTest 
{ 
    public void Test() 
    { 
     var f = curry<int, int, int>(MyTools.MyMethod<int, int, int>); 

     var c = f(1)(2); 
    } 
} 

マイfunctional language extensions library

が curryingと