assurer un résultat de type spécifique dans SML

Question

Im essayant de faire une fonction qui renvoie un élément de type « point »:

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

mais SMLNJ ne semble pas comprendre mon intention que le résultat devrait être de de type « point », ainsi:

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

Answer 1

point est un type d'enregistrement, mais vous retournez un tuple à la place.

Que diriez-vous quelque chose comme ceci:

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

Vous pouvez ajouter un garde de type sur le type de retour pour faire le type plus agréable, mais il est équivalent:

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

Answer 2

Il a été un bon moment que mes jours, mais SML aFAIR le système de type lors de l'impression ne pas résoudre automatiquement les types définis la signature de type. Vous pouvez essayer quelque chose comme ceci:

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