infer हा conditional type च्या अंदर वापरला जातो जेणेकरून एक प्रकार दुसऱ्या प्रकारातून कॅप्चर (निकाल) करायचा आणि नवीन प्रकार व्हेरिएबलमध्ये ठेवायचा जो आपण नंतर वापरु शकतो. हा प्रकारांसाठी pattern-matching आहे.
<T> = T (infer U)[] ? U : ;
A = <[]>;
B = <[]>;
