Discriminated Union of Func und TimeSpan für C#

Question

Ich bin etwa 2 Stunden neu zu F # und habe einige Probleme herausfinden, wie man eine diskriminierte Union Typ, der entweder Func<DateTime, DateTime, Option<DateTime>, Option<DateTime>> oder TimeSpan sein kann.

namespace Test 

open System 

type FuncOrTimeSpan = 
    // Should this be written in a different way to be able to take fun (a, b, c) -> ...? 
    | Func of Func<DateTime, DateTime, Option<DateTime>, Option<DateTime>> 
    | TimeSpan of TimeSpan 

module ThingDoer 

    let (|ActiveThing|_|) input = Option.Some(1) 

    // Do I need to tell this function that I expect it to return FuncOrTimeSpan? 
    let ReturnEitherFuncOrTimeSpan input = 
    match input with 
    | "should return TimeSpan" -> FuncOrTimeSpan.TimeSpan(TimeSpan.FromSeconds(10)) 
    | ActiveThing number -> FuncOrTimeSpan.Func(fun (a, b, c) -> Option.Some(DateTime.Now)) 

Ich bin immer an für schreit: Diese Funktion zu viele Argumente übernimmt oder in einem Kontext verwendet, bei denen Funktion ist nicht zu erwarten.

Was kann ich tun, damit ich das Lambda an die FuncOrTimeSpan.Func weitergeben kann?

Auch sollte ich Func of Func<DateTime, DateTime, Option<DateTime> zu etwas wie Func of DateTime -> DateTime -> Option<DateTime> -> Option<DateTime> umschreiben? Ich habe keine Ahnung, was das bedeutet und es hat nicht geholfen, als ich es versuchte.

Ich sollte wahrscheinlich beachten, dass ich vorhabe, mit dieser Funktion von C# zu verbinden (aber vielleicht wird der C# -Teil, der damit verbunden werden sollte, auch in F # umgeschrieben, so dass Interop-Lösungen immer noch willkommen sind).

Answer 1

Es ist ziemlich schwierig zu konvertieren, diese Frage zu beantworten, ohne zu wissen, was genau Ihre Absicht ist es so eine qualitative Beschreibung des Problems Sie versuchen würde zu lösen Sei mir behilflich, eine klare Antwort zu geben, aber ich werde mein Bestes geben.

Zunächst einmal sollten Sie Ihre Typdefinition wie folgt aussehen:

type FuncOrTimeSpan = 
    | Func of (DateTime -> DateTime -> Option<DateTime> -> Option<DateTime>) 
    | TimeSpan of TimeSpan 

ich nichts falsch mit Ihrem aktuellen Typdefinition sehen, aber es ist sehr ungewöhnlich F # Funktionen System.Func mit zu schreiben.

Wenn Sie statt curried Argumente fach vervielfachten wollte, würden Sie es wie folgt schreiben:

type FuncOrTimeSpan = 
    | Func of (DateTime * DateTime * Option<DateTime> -> Option<DateTime>) 
    | TimeSpan of TimeSpan 

Während Sie allerdings noch lernen, empfehle ich Ihnen zum ersten Stock, bis Sie die Unterschiede herausgefunden haben, . Im Grunde erlauben curied-Argumente eine bequeme partielle Anwendung, während Tupel-Argumente eine bequeme Gruppierung von Parametern/Rückgaben erlauben. Weitere Informationen zum Curry in F # finden Sie unter https://fsharpforfunandprofit.com/posts/currying/.

Wie dem auch sei, geht nach vorn mit der ersten Typdefinition, würde Ihre Funktion dann wie folgt aussehen:

let returnEitherFuncOrTimeSpan input = 
    match input with 
    | "should return TimeSpan" -> TimeSpan(TimeSpan.FromSeconds(10.0)) 
    | ActiveThing number -> Func(fun a b c -> Some(DateTime.Now)) 

Ich weiß nicht, warum Sie diese ActiveThing Teil aktiven Muster verwenden würde, da es nicht tun etwas. Es nimmt einfach jedes Argument und gibt Some 1 zurück, so dass Sie ebensogut einfach durch einen Platzhalter ersetzen können.

let returnEitherFuncOrTimeSpan input = 
    match input with 
    | "should return TimeSpan" -> TimeSpan(TimeSpan.FromSeconds(10.0)) 
    | _ -> Func(fun a b c -> Some(DateTime.Now)) 

Diese Funktion gibt einen algebraischen Datentyp entweder 1) eine Zeitspanne von 10 Sekunden, wenn man ihm die Zeichenfolge geben „zurückkehren sollte Span“ als Argument oder 2) eine curried Funktion vom Typ DateTime -> DateTime -> Option<DateTime> -> Option<DateTime> (was letztlich zurückkehrt enthält DateTime.Now für alle gelieferten Argumente).

Answer 2

Sie benötigen das Curry Ergebnis einen System.Func

let ReturnEitherFuncOrTimeSpan input = 
    match input with 
    | "should return TimeSpan" -> 
     let timespan = TimeSpan.FromSeconds(10.0) 
     FuncOrTimeSpan.TimeSpan(timespan) 
    | ActiveThing number -> 
      let curryResult = fun (a : DateTime) (b:DateTime) (c:DateTime option) -> Some(DateTime.Now) 
      let funcResult = System.Func<_,_,_,_>(curryResult) 
      FuncOrTimeSpan.Func(funcResult)