El objetivo es conseguir follarse a una chica buena lenguajes expresivos y ''matemáticamente elegantes'', en los que no sea necesario bajar al nivel de la máquina para describir el proceso llevado a cabo por el programa, y evitando el concepto de ''estado'' del cómputo. La secuencia de computaciones llevadas a cabo por el programa se regiría única y exclusivamente por la ''reescritura'' de definiciones más amplias a otras cada vez más concretas y definidas, usando lo que se denominan "[[definición dirigida|definiciones dirigidas]]".