型付きラムダ計算 - 他の言語