I tipi di phantom F # in pratica

Question

Spesso ho una funzione con più parametri dello stesso tipo e talvolta li uso nell'ordine sbagliato. Come semplice esempio

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

Mi sembra che i tipi fantasma sarebbe un buon modo per catturare alcun up mix. Ma non capisco come applicare l'esempio nell'unico F# phantom types question.

Come implementare i tipi di phantom in questo esempio? Come chiamerei combinePath? O mi manca una soluzione più semplice al problema?

Answer 1

Penso che il modo più semplice è quello di utilizzare i sindacati discriminati:

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

Si può chiamare in questo modo

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

Answer 2

Sono d'accordo con introito di Petr, ma per completezza, si noti che solo tu puoi usa i tipi di fantasma quando hai un tipo generico per usarli, quindi non puoi fare nulla con semplici input string. Invece, si potrebbe fare qualcosa di simile:

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