确保SML特定类型的结果

Question

我试着做出会返回一个类型的“点”元素的功能：

type point = {x : int, y : int}; 
fun pointadd (p1: point, p2: point) = (((#x p1) + (#x p2)), ((#y p1) + (#y p2))); 

但SMLNJ似乎并不理解我的意图，其结果应该是类型“点”，以及：

use "test1.sml"; 
[opening test1.sml] 
type point = {x:int, y:int} 
val pointadd = fn : point * point -> int * int 

Answer 1

point是一个记录类型，但你是不是返回一个元组。

怎么是这样的：

fun pointadd (p1: point, p2: point) = 
    { x = #x p1 + #x p2, 
     y = #y p1 + #y p2 }; 

您可以在返回类型添加型后卫做出型更好，但它是等价的：

fun pointadd (p1: point, p2: point) : point = 
    { x = #x p1 + #x p2, 
     y = #y p1 + #y p2 }; 

Answer 2

它已经相当一段时间，因为我的SML天，但AFAIR类型系统不能自动解决定义类型的打印类型签名时。你可以尝试这样的事：

fun pointadd (p1: point, p2: point) = (((#x p1) + (#x p2)), ((#y p1) + (#y p2))): point