कारण

Question

के साथ प्रकार और मान प्रदर्शित करना ओकैमल आरपीएल किसी भी अभिव्यक्ति के मूल्य और प्रकार को प्रदर्शित करता है। उदाहरण के लिए, का मूल्यांकन:

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

देता है:

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

इस भाषा शिक्षण के लिए unvaluable है।

मैं कारण पर स्विच करने पर विचार कर रहा हूं, लेकिन आप एक ही सूचना कैसे प्राप्त करेंगे?

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

Try Reason किसी भी प्रकार प्रदर्शित नहीं करता है, और मुझे यकीन है कि अगर वहाँ कारण के लिए एक आरईपीएल मौजूद नहीं कर रहा हूँ।

Answer 1

rtop एक टोपवेल (ओसीएमएल-लिंगो में आरईपीएल) है जो reason-cli के साथ जहाजों है, और यह वास्तव में utop के आसपास एक पतली आवरण है। यह इस तरह के प्रकार प्रिंट होगी:

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

VSCode में, मर्लिन भी आप लेट बाइंडिंग के प्रकार के एक "CodeLens" प्रत्येक बंधन के ऊपर प्रदर्शित में दे देंगे।