Wyświetlanie typu i wartości z Reason

Question

OCUM REPL wyświetla wartość i typ dowolnego wyrażenia. Na przykład, ocena:

let rec map f = function 
    | [] -> [] 
    | x::l -> f x :: map f l;; 

Daje:

val map : ('a -> 'b) -> 'a list -> 'b list = <fun> 

To unvaluable do nauczania języka.

Rozważam przejście na Reason, ale jak uzyskać te same informacje?

let rec map = (f) => 
    fun 
    | [] => [] 
    | [x, ...l] => [f(x), ...map(f, l)]; 

Try Reason nie wyświetla żadnego typu i nie jestem pewien, czy istnieje REPL dla Reason.

Answer 1

rtop jest toplevel (REPL w OCaml-lingo), który jest dostarczany z reason-cli, a to jest naprawdę cienkie opakowanie o numerze utop. To będzie drukować typ tak:

let map: (('a) => 'b, list('a)) => list('b) = <fun>; 

W VSCode Merlin również daje typ wiązań wpuścić „CodeLens” wyświetlanych nad każdym wiążące.