rebol - 你如何在 Rebol 中定义你自己的数据类型？

Question

鉴于您可以将函数的参数限制为特定数据类型，因此您可能想要定义自己的数据类型是合情合理的，但我在 Rebol 文档中看不到任何内容表明这是该语言的一个特性(除非我没有)看起来很好)。

我期望的是能够执行以下操作:

mytype!: make datatype! ... ; some spec here

这可能吗？以下内容并没有让我抱有太大希望:

http://www.rebol.it/giesse/custom-types.r

从链接:

Purpose: { Allows the programmer to define custom REBOL datatypes }

这是一段相当长的代码。不是我所希望的。

Answer 1

在 https://github.com/giuliolunati/rebol/tree/utype 中尝试了 utypes 的实现

例如，我实现了 complex! utype

基本上，utypes 被实现为具有特殊方法的对象，以点状形式表示:因此，.add 实现了 + op 等。

现在，您可以重载所有操作(但 make)和一些本地操作(数学函数、比较、表单、模具、打印、探测)