专栏名称: 无垠王垠
今天看啥  ›  专栏  ›  无垠王垠

有人在 Twitter 问我如何看 row polymorphi-20200302171907

无垠王垠  · 微博  · 程序员  · 2020-03-02 17:19
2020-03-02 17:19 本条微博链接 有人在 Twitter 问我如何看 "row polymorphism”,有什么批评?我给他的回答是:“我没有什么批评。我实现过 row polymorphism(本质上的),我觉得 subtype polymorphism 本来就该是这个样子。” 虽然我是这么说,我的具体实现和思维方式却比“row polymorphism”的那些公式要简单和一致。因为我当年实现类似的方式时,是自己遇到了问题:我需要解决 subtype 参数进入之后,再被原封不动返回,造成的类型信息丢失问题。为此我 ………………………………

原文地址:访问原文地址
快照地址: 访问文章快照