rust も ocaml も型推論はHindley Milnerベースだろ。
rustで厳しいのはボローチェックやライフタイムのせいじゃないの？
それらも型に含める？広義では含むか、でも狭義にはちょと違うような。