Fatal编程技术网
  • generics/
  • Generics F#区分的联合类型是否可以使用类型签名中未定义的泛型？

Generics F#区分的联合类型是否可以使用类型签名中未定义的泛型？

generics types f#

Generics F#区分的联合类型是否可以使用类型签名中未定义的泛型？,generics,types,f#,Generics,Types,F#,我是F#的新手，我正试图让这样的东西发挥作用： type transform<'a, 'b> = 'a -> 'b type transformPipeline<'a, 'b> = | SingleStep of transform<'a, 'b> | MultiStep of (transformPipeline<'a, 'c> * transform<'c, 'b>) 类型转换='a->'b 类型转换管道= |单步

我是F#的新手，我正试图让这样的东西发挥作用：

type transform<'a, 'b> = 'a -> 'b

type transformPipeline<'a, 'b> =
  | SingleStep of transform<'a, 'b>
  | MultiStep of (transformPipeline<'a, 'c> * transform<'c, 'b>)

类型转换='a->'b
类型转换管道=
|单步变换
|多步骤（转换管道*转换）
目前还没有编译，它说
类型参数'c未定义
。这里我要做的就是把这些管道连接在一起，这样我就可以保证中间类型
'c
可以传递到右边的转换，但是我不知道如何将它传递给类型系统。有什么想法吗？
这叫做“不，F#没有这些想法。”。我建议您以不同的方式对域进行建模。