F# Riddle: wie ruft man eine Überladung einer Methode auf?

Question

Erster Teil: Aufruf von F# aus F#

Nehmen wir an, wir haben den folgenden Typ in F# definiert:

type MyClass =
    static member Overload1 (x, y) = "Pim"
    static member Overload1 (x : System.Tuple<_, _>) = "Pam"
    static member Overload1 x = "Pum"

Sie befinden sich nun in einem anderen Modul (in einer anderen Datei).

Wie können Sie jede der drei oben genannten Methoden aufrufen?

Zweiter Teil: Aufruf von C# aus F#

Jetzt definieren Sie eine Klasse in C#:

public class MyClass {
    public static string Overload1<a, b>(a x, b y) { return "Pim"; }
    public static string Overload1<a, b>(Tuple<a, b> x) { return "Pam"; }
    public static string Overload1<a>(a x) { return "Pum"; }
}

Wie können Sie von einem F#-Code aus jede der drei jetzt in C# definierten Methoden aufrufen?

Answer 1

Hmm, ich bin mir nicht sicher, ob es möglich ist, die F#-Methode "Pam" aufzurufen. Aber hier ist der Rest.

C#:

using System;
namespace CSharp
{
    public class MyClass
    {
        public static string Overload1<a, b>(a x, b y) { return "Pim"; }
        public static string Overload1<a, b>(Tuple<a, b> x) { return "Pam"; }
        public static string Overload1<a>(a x) { return "Pum"; }
    }
}

F#:

namespace FSharp

type MyClass =
    static member Overload1 (x, y) = "Pim"
    static member Overload1 (x : System.Tuple<_, _>) = "Pam"
    static member Overload1 x = "Pum"

namespace DoIt

module Examples =
    let CallFSharp() =
        printfn "%s" <| FSharp.MyClass.Overload1(1,2)   // Pim
        printfn "%s" <| FSharp.MyClass.Overload1((1,2)) // Pum!
        printfn "%s" <| FSharp.MyClass.Overload1(())    // Pum

    let CallCSharp() =
        printfn "%s" <| CSharp.MyClass.Overload1(1,2)             // Pim
        printfn "%s" <| CSharp.MyClass.Overload1<int,int>((1,2))  // Pam
        printfn "%s" <| CSharp.MyClass.Overload1(())              // Pum

    do
        CallFSharp()        
        CallCSharp()        

Natürlich wird man in der Praxis nur selten Methoden in IL sehen, die die System.Tuple<...> Objekte als Parameter.

Answer 2

Hier ist eine Antwort auf den F#-Teil:

MyClass.Overload1(1,2)
MyClass.Overload1<_,_>(unbox (box (1,2)) : System.Tuple<int,int>)
MyClass.Overload1 1