3 ms·
As a non-native speaker, I'd find "type deduction" much easier to grasp than "type inference".
by skocznymroczny 6y ago
As a non-native speaker, I'd find "type deduction" much easier to grasp than "type inference".
- prerok 6y agoAgreed. Asked around here a few people and "deduce" is more wide spread than "infer". A lot of people don't know the meaning of either, though, and it doesn't help that deduction's first translation is related to the mathematical operation :( I would still suggest to go with automatic :)