Type inference - Other languages