从
https://www.mysmth.net/nForum/#!article/Rust/484 得知
GenericTypeCtor这类东西，就是某些文章里面介绍的HKT。通过以上描述的这套方法，Rust里第一次加入了供用户使用的HKT能力。
看了一下，rust的GAT支持关联泛型 还是挺方便的。
所以Haskell死了，可能并不是因为 HKT.
【 在 txgx 的大作中提到: 】
: 作者 | Alexander Granin
:
: 译者 | 无明
: ...................
--
FROM 117.147.20.*