Jak uzyskać informacje o typie w interaktywnym Ocaml?

Question

Używam SML wersji 4. Kiedy interaktywnie zdefiniować jakiś rodzaj drukuje tłumaczy się reprezentacja ciąg typu natychmiast po tym:

# type foo = Yes | No;;   <-- This is what I entered 
type foo = Yes | No    <-- This is what interpreter bounced 

Ale po wpisaniu więcej definicji, czasami chcę zobaczyć reprezentacja tekstowa tego typu ponownie.

W języku Haskell można wpisać ": t foo".

Jak mogę to zrobić w Ocaml?

Answer 1

O ile mi wiadomo, nie jest w rzeczywistości w żaden sposób do pobierania informacji SML typ pod postaci strun

Musisz budować wzór pasujący do każdego typu

type foo = Yes | No;; 

let getType = function 
    |Yes -> "Yes" 
    |No -> "No"  
    ;; 

let a = Yes;; 
print_string (getType a);; 

Answer 2

w Utop można użyć dyrektywy #typeof:

#typeof "list";; 
type 'a list = [] | :: of 'a * 'a list 

można umieścić wartości i typy wewnątrz cudzysłowach:

let t = [`Hello, `World];; 
#typeof "t";; 
val t : ([> `Hello ] * [> `World ]) list 

P.S. Jeszcze lepszym rozwiązaniem byłoby użycie merlin.