= | A
| B
member this.foo bar
= match this
with | A -> printfn $"[DU] A | %s{bar}"
| B -> printfn $"[DU] B | %s{bar}"
который будет работать как если бы я написал вот так:
[<AutoOpen>]
module DU'name
=
type T
= | A
| B
let foo t bar
= match t
with | A -> printfn $"[DU] A | %s{bar}"
| B -> printfn $"[DU] B | %s{bar}"
??
Хочется дополнительно модуль с функциями иметь или только его?
[что означает "только его" я не понял] хочу иметь возможность как обычно писать type DU = ... и при этом получать готовый модуль как в приведенном примере
ммм... если вопрос был в том "должен ли модуль подменять type DU'name = ... или они оба должны быть", то ответ - должно подменять
Обсуждают сегодня