f＃discriminated union generic

Question

'aまたはError of'の値を返すことができる一般的なTryValueタイプの構文は何ですか？

type TryValue = 
    | Value of 'a 
    | Error of 'b 

エラーが文字列であれば、それは大丈夫です：

type 'a TryValue = 
    | Value of 'a 
    | Error of string 

私はエラークリエーターを取るtryRun機能、関数を実行しようとする機能やパラメータを定義したいのですがパラメータとし、すべてのエラーでエラーを作成するには、エラーの作成者機能を使用します。

let tryRun createErrorFn param fn = 
    try 
     Value (fn param) 
    with 
     | ex -> Error (createErrorFn ex.Message param) 

そしてtryRunでラップする任意の関数のラッパー：

let wrapTryRun createErrorFn fn param = 
    match param with 
    | Value a -> tryRun createErrorFn a fn 
    | Error e -> Error e 

今私は（まだ完全にこれを働いていない、擬似コード）機能のリストを実行することができます。

let createErrorFn errorMessage param = 
    URLProcessignError {url=param.url;errorMessage=errorMessage} 
[fn1;fn2] |> List.fold (fun acc fn -> (wrapTryRun createErrorFn fn acc)) 

Answer 1

をあなたは左サイドでの一般的なパラメータが欠落しています

type TryValue<'a,'b> = 
    | Value of 'a 
    | Error of 'b 

文字列の場合と同じように、MLスタイルを使用することができますが、複数のパラメータがある場合は、角括弧<>を使用して.NET表記を使用する必要があります。

Answer 2

実際には、古いMLスタイルはタプルを指定することにより、複数の種類のパラメータでも使用することができますがありますようにしかし、私は私が古い構文は廃止されて読んで信じて

type ('a, 'b) TryValue = 
    | Value of 'a 
    | Error of 'b 

...