型の要素を返す関数を作成しようとしている「ポイント」SML

Question

で特定のタイプの結果

イムを確保：

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

をしかし、結果はでなければならないというのが私の意図を理解してSMLNJいないようです同様のタイプ「ポイント」：タイプの署名を印刷するときにそれは私のSML時代からかなり時間があったが、自動的に定義された型を解決できない型システムをAFAIRだ

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

。

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