我试图声明一个记录类型,它有两个条目,一个名为id ( string ),另一个命名为algorithm (可以是任何函数)。根据我研究的内容,我需要使用参数多态性来声明记录中algorithm条目的类型。been declared in type declaration如何声明与任何函数匹配的函数类型如果是
我想知道如何将数据类型声明为另一种数据类型。datatype card = TWO of suits | THREE of suits
|value THREE of suits = 3
我想声明另一个数据类型的数据类型这样我就不需要单独声明这副牌中的52张牌了。因此,我认为我只将卡片的值声明为一种数据类型,将卡片的颜色声明为另一种数据类型。当我尝试将数据类型卡与函数进行匹配时出现问题。我需