타입 연역이랑 타입추론 다른 건데

[익명(39.7)]

영어로도 deduction vs inference

개념이 달라서 영어로도 달리 쓰이기 때문에 번역어도 다른것임

[익명(39.7)]

https://stackoverflow.com/questions/36465664/whats-the-difference-between-c-type-deduction-and-haskell-type-inference