Standard ML: Malsamoj inter versioj

12 bitokojn forigis ,  antaŭ 2 jaroj
e
sen resumo de redaktoj
e (ligiloj)
e
</source>
 
Tradukilo de Standard ML devas dedukta la statikan tipon <code>int -> int</code> de tiu funkcio sen without tipanotaciojtipnotoj donitaj de la uzanto. Ekz., ĝi devas dedukti, ke ''n'' nur uziĝas kun entjeraj esprimoj, kaj do ĝi mem devas esti entjero, kaj ke ĉiuj valorproduktaj esprimoj ene de la funkcio liveras entjerojn.
 
La saman funkcion oni povas esprimi per [[klaŭza funkcidifino|klaŭzaj funkcidifinoj]], kie la kondiĉiloj ''if''-''then''-''else'' anstataŭiĝas de sinsekvo de ŝablonoj de la faktoriala funkcio evaluata por specifaj valoroj. La ŝablonoj disas per '|' kaj evaluiĝas unu post unu laŭ la ordo skribita, ĝis kongruo troviĝas:
87

redaktoj