Doaitse Swierstra 的“Typing 动态类型”的最短实现在 OCaml 中
（我希望这个问题不是“基于意见”）
来自 Doaitse 的动态类型输入 Haskell 中的 Swierstra 大约有 200 行代码。在 OCaml 中做同样的事情似乎需要更多的量。因此问题是：使用 OCaml 实现这个永恒经典的最短实现是什么？
（假设实用程序库如 Higher/Higher_Kinded 或其他）
(I hope this question is not "opinion-based")
The implementation of Typing dynamic typing from Doaitse Swierstra in Haskell is more or less 200 lines of code. Doing the same in OCaml seems to require a significantly larger amount. Hence the question : What is the shortest implementation of this timeless classic using OCaml ?
(Assuming utility libraries like Higher/Higher_Kinded or others)
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论