代码之家 › 专栏 › 技术社区 › anon_swe

SML:如果->是右关联的

sml functional-programming

anon_swe · 技术社区 · 10 年前

乌尔曼的书, ML编程的元素 ,介绍了映射函数的简单版本,定义如下:

fun simpleMap(F, nil) = nil
|   simpleMap(F, x::xs) = F(x)::simpleMap(F, xs);

val map = fn : ('a -> 'b) * 'a list -> 'b list

鉴于->是正确的联想,你不会这样做吗:

('a -> 'b) * ('a list -> 'b list) ?

但这是不正确的,因为域类型是由函数和列表组成的元组,而范围类型只是一个列表。

我哪里出错了?

谢谢

1 回复 | 直到 10 年前

Tikhon Jelvis 10 年前

在SML中,类型运算符 * 比 -> :它具有更高的优先级,就像 * 优先级高于 + 在算术方面。

这就是为什么 string * string -> string 与 (string * string) -> string 而不是 string * (string -> string) 。要阅读您的示例,我们需要在 * 在担心如何 -> 联系:

(('a -> 'b) * 'a list) -> 'b list

推荐文章

Jordan · 函数返回TextIO。elem选项,当它应该是字符串选项时

8 年前

Jordan · 具有(a)list(b)list[重复]的函数的语法

8 年前

A Israfil · 错误:案例对象和规则不一致[重载冲突]

8 年前

patyx · SMLNJ将字符串列表解析为具有多个数据类型的元组列表

8 年前

Rorschach · 转换Word8Vector。矢量到Word8VectorSlice.slice

8 年前

Saeed Mousazadeh · 如何在SML中实现LPT(最长处理时间)调度算法功能

9 年前

Ela · 使用异常时的ML错误

9 年前

tsquared · 如何解释SML打字表达式?

9 年前

Andrew · 检查SML中的记录类型?

9 年前

b4d · 从SML中的记录列表中获取最年长的人

9 年前