在研究结构类型时,我发现以下描述为
how interfaces in Go are translated to method lookup tables at runtime的帖子.该帖子中描述的过程似乎与Scala的可选结构类型系统以及Java语言的White Oak扩展所描述的
reflective and generative techniques截然不同.
有没有深入的资源讨论如何在OCaml中实现结构打字?我对与名义类型系统的优化或运行时性能比较的任何讨论特别感兴趣.
解决方法
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。