एफ # प्रेत प्रकार

Question

मेरे पास अक्सर एक ही प्रकार के एकाधिक पैरामीटर के साथ एक फ़ंक्शन होता है, और कभी-कभी उन्हें गलत क्रम में उपयोग किया जाता है। एक साधारण उदाहरण के रूप में

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

ऐसा लगता है कि प्रेत प्रकार किसी मिश्रण मिश्रण को पकड़ने का एक अच्छा तरीका होगा। लेकिन मुझे समझ में नहीं आता कि उदाहरण को केवल F# phantom types question में कैसे लागू करें।

मैं इस उदाहरण में प्रेत प्रकार कैसे कार्यान्वित करूं? मैं combinePath कैसे कॉल करूं? या क्या मुझे समस्या का एक आसान समाधान याद आ रहा है?

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

मैं पेट्र के टेक से सहमत कह सकते हैं, लेकिन पूर्णता के लिए, ध्यान दें कि आप कर सकते हैं प्रेत प्रकारों का उपयोग करें जब आपके पास उनका उपयोग करने के लिए एक सामान्य प्रकार है ताकि आप सादे 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