小编Sad*_*che的帖子

"价值限制"实际上是否意味着没有更高阶的函数式编程？

我有一个问题,每次我尝试做一些HOP我都会被VR错误抓住.例:

let simple (s:string)= fun rq->1 
let oops= simple ""

type 'a SimpleType= F of (int ->'a-> 'a)
let get a = F(fun req -> id)  
let oops2= get ""

我想知道它是否是VR特定实现的问题,或者它是一个普遍的问题,在一个不包含类型系统中的突变的可变类型感染语言中没有解决方案.