如何在OCaml中创建自定义数据类型的实例？ [英] How do I create an instance of a custom data type in OCaml?

问题描述

如果我有一个自定义数据类型"Triple"，如下所示，我将如何创建可以使用的它的实例？

type triple = int * int * int

谢谢！

推荐答案

这里有一个实例：

let my_instance = (1, 2, 3)

不管怎么说，您的类型不是新类型，它只是以前存在的类型的一个方便的缩写，它是一个由3个整数组成的元组。没有构造函数的类型声明只是一个缩写，所以并不是我所说的自定义类型。

# ((1, 2, 3) : triple) = (1, 2, 3)
- : bool = true

我不确定这对您是否重要，但是如果您需要一个与任何其他类型不兼容的新类型，您就需要一个构造函数。类似以下内容：

type triple2 = T of int * int * int

然后您可以创建如下实例：

let my_instance2 = T (1, 2, 3)

此新类型triple2与任何其他类型(例如triple)不兼容：

# T (1, 2, 3) = (1, 2, 3)
Error: This expression has type 'a * 'b * 'c
       but an expression was expected of type triple2

这篇关于如何在OCaml中创建自定义数据类型的实例？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！