F # фантомные типы на практике

Question

У меня часто есть функция с несколькими параметрами того же типа, и иногда используйте их в неправильном порядке. В качестве простого примера

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

Мне кажется, что типы фантомные будет хороший способ, чтобы поймать любые окна смешивания. Но я не понимаю, как применить этот пример только в F# phantom types question.

Как бы реализовать в этом примере фантомные типы? Как я могу назвать combPath? Или я пропустил более простое решение проблемы?

Answer 1

Я думаю, что самый простой способ состоит в использовании дискриминируемых союзов:

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

Вы могли бы назвать это таким образом

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

Answer 2

Я согласен с взятием Petr, но для полноты картины, обратите внимание, что вы можете только используйте типы фантомов, когда у вас есть общий тип, чтобы использовать их, чтобы вы ничего не могли сделать с помощью простых входов string. Вместо этого вы могли бы сделать что-то вроде этого:

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