La mayoría de los compiladores de llinguaxes imperativos detecten funciones pures automáticamente y realicen la eliminación de subexpresiones comunes. Sicasí non siempres ye posible detectalo en biblioteques pre-compiladas, porque por norma xeneral nun dan esta información. Esto provoca que nun se puedan realizar optimizaciones que podríen aplicar a diches funciones esternes. Dellos compiladores, como gcc, añeden pallabres claves adicionales por que'l programador marque explícitamente como pures aquelles funciones esternes que proceda, de cuenta que se-y apliquen les optimizaciones pertinentes. Fortran 95 tamién dexa declarar funciones "pures".