F # phantom types in practice

Question

Często mam funkcję z wieloma parametrami tego samego typu, a czasami używam ich w niewłaściwej kolejności. Jako prosty przykład:

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

Wydaje mi się, że typy fantomowe byłyby dobrym sposobem na złapanie jakichkolwiek pomyłek. Ale nie rozumiem, jak zastosować przykład w jedynym F# phantom types question.

Jak zaimplementować typy fantomowe w tym przykładzie? Jak nazwać CombinePath? Czy może brakuje prostszego rozwiązania problemu?

Answer 1

Myślę, że najprostszym sposobem jest użycie dyskryminowanych związków:

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

Można nazwać ten sposób

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

Answer 2

Zgadzam się ze startu Petr, ale pod względem kompletności, trzeba pamiętać, że tylko można używaj typów fantomowych, gdy masz typ ogólny, aby ich używać, abyś nie mógł nic zrobić ze zwykłymi wejściami string. Zamiast tego, można zrobić coś takiego:

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