如何在标准机器学习中创建惰性树

发布于 2024-08-21 14:28:45 字数 261 浏览 2 评论 0原文

我想在标准 ML 中实现一棵惰性树,并

datatype tr = N of int * unit->tr * unit->tr;

尝试将其用作

fun form k = N(k,fn()=>form(k+1),fn()=>form(k+3));

概念测试,但收到错误消息,指出类型不匹配。

在机器学习中实现惰性树的正确方法是什么?

I want to implement a lazy tree in Standard ML with

datatype tr = N of int * unit->tr * unit->tr;

I tried to use

fun form k = N(k,fn()=>form(k+1),fn()=>form(k+3));

as a test of concept, but I get error message saying type mismatch.

What would be the proper way of implementing a lazy tree in ML?

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(1

老娘不死你永远是小三 2024-08-28 14:28:45
datatype tr = N of int * unit->tr * unit->tr;

这是按照

datatype tr = N of (int * unit) -> ( (tr * unit) -> tr)

你想要的方式解析的

datatype tr = N of int * (unit->tr) * (unit->tr)
datatype tr = N of int * unit->tr * unit->tr;

This is parsed as

datatype tr = N of (int * unit) -> ( (tr * unit) -> tr)

You want

datatype tr = N of int * (unit->tr) * (unit->tr)
~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文