Reasonでタイプと値を表示

Question

OCaml REPLは、任意の式の値とタイプを表示します。例えば、評価：

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

は与える：

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

これは言語を教えるためのunvaluableです。

私はReasonに切り替えることを検討していますが、同じ情報をどのように取得しますか？

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

Try Reasonタイプは表示されません。理由はREPLが存在するかどうかわかりません。

Answer 1

rtopは、reason-cliと一緒に出荷されるトップレベル（OCaml-lingoのREPL）であり、実際にはutopの周りの薄いラッパーです。それはこのようにタイプを印刷します：

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

はVSCodeでは、マーリンは、各結合の上に表示される「CodeLens」であなたのletバインディングの種類を提供します。