Просмотр специализации/подтип родовое в polyml после применения функтора

Question

В следующей программе мы знаем, что valStr.value предполагает подтип pair родового типа t. Тем не менее, когда я исследую его в poly, тип отображается как t. Есть ли способ, который я могу видеть в интерпретаторе poly, что t был специальным для pair?

Это то, что я получаю, когда я бегу poly:

> poly 

Poly/ML 5.5.2 Release 

> use "forum.ml"; 

signature PAIR = 
    sig val coord : pair val getFirst : pair -> real type pair end 
structure Pair : 
    sig 
    val coord : pair 
    val getFirst : pair -> real 
    type pair = real * real 
    end 
signature VALUE = sig type t val value : t end 
functor createVal (R : PAIR) : VALUE 
val extracted = 1.0: real 
val main = fn: unit -> unit 
structure valStr : VALUE 
val it =(): unit 

> valStr.value; 
val it = (1.0, 2.0): valStr.t 

(* I want to see that it is of type "pair" *) 

и код, используемый для его производства является:

(* forum.ml *) 
signature PAIR = 
    sig 
    type pair 
    val coord : pair 
    val getFirst : pair -> real 
    end 

structure Pair = 
    struct 
    type pair = real * real 
    val coord = ((1.0,2.0) : pair) 
    fun getFirst ((x,y) : pair):real = x 
    end 

signature VALUE = 
    sig 
    type t 
    val value: t 
    end 

functor createVal(R : PAIR) : VALUE = 
    struct 
    type t = R.pair 
    val value = R.coord 
    end 

structure valStr = createVal(Pair) 

val extracted = Pair.getFirst valStr.value 
fun main() = print (Real.toString extracted) 

Answer 1

Вы можете добавить ограничение типа:

> valStr.value: Pair.pair; 
val it = (1.0, 2.0): Pair.pair 

Poly/ML пытается напечатать тип полезным способом, но он не может догадаться, что будет наиболее полезным в любой конкретный случай, когда имеется несколько эквивалентных типов.