Czy istnieje odpowiednik utworzenia niejawnego operatora C# w F #?

Question

W języku C# można dodać operatorów ukryte do klasy jak następuje:

public class MyClass 
{ 
    private int data; 

    public static implicit operator MyClass(int i) 
    { 
     return new MyClass { data = i }; 
    } 

    public static implicit operator MyClass(string s) 
    { 
     int result; 

     if (int.TryParse(s, out result)) 
     { 
      return new MyClass { data = result }; 
     } 
     else 
     { 
      return new MyClass { data = 999 }; 
     } 
    } 

    public override string ToString() 
    { 
     return data.ToString(); 
    } 
} 

Wtedy będę mógł przekazać dowolną funkcję, która spodziewa się MojaKlasa obiekt ciąg lub int. np

public static string Get(MyClass c) 
{ 
    return c.ToString(); 
} 

static void Main(string[] args) 
{ 
    string s1 = Get(21); 
    string s2 = Get("hello"); 
    string s3 = Get("23"); 
} 

Czy istnieje sposób to zrobić w F #?

Answer 1

Jak zauważyli inni, nie ma sposobu na niejawną konwersję w F #. Jednak zawsze można tworzyć własne operatora, aby to nieco łatwiejsze jawnie przekonwertować rzeczy (i ponownego użycia żadnych definicji op_Implicit że istniejące zajęcia zostały zdefiniowane):

let inline (!>) (x:^a) : ^b = ((^a or ^b) : (static member op_Implicit : ^a -> ^b) x) 

Wtedy można go używać tak:

type A() = class end 
type B() = static member op_Implicit(a:A) = B() 

let myfn (b : B) = "result" 

(* apply the implicit conversion to an A using our operator, then call the function *) 
myfn (!> A()) 

Answer 2

Nie, nie ma.

Answer 3

Implicyjna konwersja jest dość problematyczna w odniesieniu do bezpieczeństwa typu i typu wnioskowania, więc odpowiedź brzmi: Nie, w rzeczywistości byłaby to problematyczna funkcja.