F # Phantom-Typen in der Praxis

Question

Ich habe oft eine Funktion mit mehreren Parametern des gleichen Typs, und manchmal verwenden sie in der falschen Reihenfolge. Als einfaches Beispiel

let combinePath (path : string) (fileName : string) = ... 

Es scheint mir, dass die Phantomtypen ein guter Weg sein würde, keine Verwechslungen zu fangen. Aber ich verstehe nicht, wie man das Beispiel in der einzigen F# phantom types question anwendet.

Wie würde ich Phantomtypen in diesem Beispiel implementieren? Wie würde ich combatePath aufrufen? Oder fehlt mir eine einfachere Lösung des Problems?

Answer 1

Ich denke, der einfachste Weg, diskriminierte Gewerkschaften zu verwenden ist:

type Path = Path of string 
type Fname = Fname of string 
let combinePath (Path(p)) (Fname(file)) = System.IO.Path.Combine(p, file) 

Sie es

so nennen konnte

combinePath (Path(@"C:\temp")) (Fname("temp.txt")) 

Answer 2

ich mit Petr Das Nehmen zustimmen, aber der Vollständigkeit halber, beachten Sie, dass Sie nur Verwenden Sie Phantomtypen, wenn Sie einen generischen Typ haben, um sie zu verwenden, so dass Sie nichts mit einfachen string Eingaben machen können. Stattdessen könnten Sie so etwas tun:

type safeString<'a> = { value : string } 

type Path = class end 
type FileName = class end 

let combinePath (path:safeString<Path>) (filename:safeString<FileName>) = ... 

let myPath : safeString<Path> = { value = "C:\\SomeDir\\" } 
let myFile : safeString<FileName> = { value = "MyDocument.txt" } 

// works 
let combined = combinePath myPath myFile 

// compile-time failure 
let combined' = combinePath myFile myPath