確保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