OCaml 中声明类型时怎样限定为某个 Variant type 中的某个 case?
这是不可行的，即在编译期是无法进行这样的类型检查的。考虑这样的例子：type my_type=constr1 | constr2 ;;let a=contr1 ;;let func arg= ... ;;func a ;;a的类型是my_type,编译器做类型检查时只会为a的类型标注为my_type,仅此而已，它不会标注上是constr1建立的值或是constr2建立的值。自然像let func : constr2=... ;;这样的类型标注没有意义，constr2不是编译器计算的类型，在编译期无法检查出来。PS.或许可以这样解决：type my_type1=constr1and my_type2=constr2and my_type12= case1 of my_type1 |case2 of my_type2 ;;let func (arg : my_type2)= ... ;;如果要用my_type1和my_type2的union类型，就这样写:let func (arg : my_type12)= ... ;;这样就可以在编译期进行限定，只不过使用时再多包裹了一层constructor
■网友
你可以用 polymorphic variants .type my_type = type case2 = let func: case2 = ...
■网友
额不知道OCaml的variant type和F#的discriminated union有多大区别，但是my_type本身是type，case1 case2不是type，或者用single case？
推荐阅读
![韭菜花音乐 [图]一加8T保护套谍照曝光：微距摄像头上还有一圈环形闪光灯](https://imgcdn.toutiaoyule.com/20201005/20201005100314903593a_t.jpeg)
- 怎样评价类似前橙会、百老汇、南极圈这样类型的离职帮抱团，对企业的积极意义和消极意义
- 请问现在做淘宝客有名的网站有哪些
- 都有啥画画培训机构南京晓庄这边
- 网红的类型有哪些，具备哪些共性和差异性
- C语言多维数组声明调用和c为啥差别这么大
- 集体思维|
- Python中怎样在list中保存class类型的数据
- 如果让你发明一个实用app，你会发明啥类型的app
- Java中为啥boolean类型是原子性的
- 怎样判断自己的宽带线路类型,光纤还是网线