-
21 votesanswersviews
什么是类型量词?
许多静态类型语言具有参数多态性 . 例如在C#中,可以定义: T Foo<T>(T x){ return x; } 在呼叫站点中,您可以: int y = Foo<int>(3); 这些类型有时也像这样写: Foo :: forall T. T -> T 我听过有人说"forall is like lambda-abstraction at the t... -
34 votesanswersviews
参数多态与高等级类型有什么区别?
我很确定他们不一样 . 然而,我陷入了一种常见的观念,即"Rust does not support"更高级的类型(HKT),而是提供参数多态性 . 我试图了解这一点并理解它们之间的区别,但却变得越来越纠结 . 根据我的理解,Rust中有更高级的类型,至少是基础知识 . 使用"*" -notation,HKT确实有一种例如 * -> * . 例如, ...