>>780
型推論は、強い型付けと矛盾しないけど。