[已实现] Type Annotation 类型标识

功能请求
1

有些情况下，Moonbit没法推导出一个值的类型，希望可以支持手动标识一个表达式的类型，使得程序可以通过编译。

简单来说就是希望支持类似Haskell那样的None :: Result[.., ..] 来防止编译器报错

2

可以的： (expr : Result[Ty1,Ty2])

1 个赞