16
类型应该是一等公民吗? - 知乎
source link: https://www.zhihu.com/question/318937955/answer/642515012
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
类型早就应该是一等公民了，我一直不太能理解为什么普及 Dependent Type 就这么困难，Idris （最亲民最弱…
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK