Laurie Voss sobre razonamiento local para propiedades globales

Laurie Voss escribió un texto sobre razonamiento local para propiedades globales. La idea es sencilla: si cada pedazo pequeño del sistema está bien diseñado, el conjunto tiende a funcionar. No hace falta probar la propiedad global desde el principio. La pruebas por las reglas locales, y la propiedad global sale sola.

Esto es de esas cosas que suenan a teorema pero son una regla práctica. La autora lleva tiempo escribiendo piezas ai_explainer, y esta encaja en esa línea: clara, anclada, sin rodeos.

Por qué nos importa:

El mismo principio vale para nuestro trabajo. Escribimos las partes pequeñas bien y el panorama grande se encarga solo.