En logiciel, on retrouve la notion d'inférence de types.