Sicherstellung eines bestimmten Typs Ergebnis in SML

Question

Im Versuch, eine Funktion zu machen, die ein Element des Typs „Punkt“ zurück:

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

aber SMLNJ scheint nicht meine Absicht zu verstehen, dass das Ergebnis sein sollte als auch Typ „Punkt“:

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

Answer 1

point sind ein Record-Typ, aber Sie sind ein Tupel stattdessen zurück.

Wie sei es etwa so:

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

Sie können eine Art Wache auf dem Rückgabetyp in dem die Art schöner zu machen, aber es ist äquivalent:

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

Answer 2

Es ist schon eine ganze Weile her, seit meinen SML Tagen, aber die Art System AFAIR nicht definierte Typen automatisch beheben, wenn die Art Signatur zu drucken. so etwas wie diese Sie könnten versuchen:

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