-
34 votesanswersviews
参数多态与高等级类型有什么区别？
我很确定他们不一样 . 然而，我陷入了一种常见的观念，即"Rust does not support"更高级的类型（HKT），而是提供参数多态性 . 我试图了解这一点并理解它们之间的区别，但却变得越来越纠结 . 根据我的理解，Rust中有更高级的类型，至少是基础知识 . 使用"*" -notation，HKT确实有一种例如 * -> * . 例如， ... -
2 votesanswersviews
哪里是逆变？
修补其他协变类的规范示例如下： abstract class Stack[+A] { def push[B >: A]( x: B ) : Stack[B] def top: A def pop: Stack[A] 现在，如果我删除隐式协方差并手动注释类，我得到这个： abstract class Stack[A] { def push[B >: A]( x: B )...