Fundamentos de Programación Lógica y Funcional

Unidad I: Conceptos fundamentales
1.1. Estilos de programación
Estilo de programación (también llamado estándares de código o convención de
código) es un término que describe convenciones paraescribir código fuente en
ciertos lenguajes de programación.
El estilo de programación es frecuentemente dependiente del lenguaje de
programación que se haya elegido para escribir. Por ejemplo elestilo del lenguaje
de programación C variará con respecto al del lenguaje BASIC.
El buen estilo, al tratarse de algo subjetivo, es difícil de categorizar concretamente;
con todo, existen un número decaracterísticas generales. Con el advenimiento de
software que da formato al código fuente de forma automática, el foco en cómo
éste debe de ser escrito debe evolucionar de forma más amplia a laelección de
nombres, lógica y otras técnicas. Desde un punto de vista práctico, el uso de un
computador para dar formato al código fuente ahorra tiempo, y es posible forzar el
uso de estándares anivel de una compañía completa sin debates religiosos.

1.2. Evaluación de expresiones
Definiciónes tomadas de news:comp.lang.functional
Programación Funcional: es un estilo de programación queenfatiza la evaluación
de expresiones, en lugar de la ejecución de comandos. Las expresiones en estos
lenguajes se forman utilizando funciones para combinar valores básicos.
Lenguaje Funcional: es unlenguaje que soporta e incentiva la programación en
un estilo funcional.

1.3. Definición de funciones
Cuando escribas un nuevo programa o biblioteca, sigue un estilo consistente de
ubicación dellaves y de indentación. Si no tienes ninguna preferencia personal de
estilo, recomendamos el estilo de programación del núcleo de Linux o el estilo de
programación de GNU.
Lee el nodo de info(Standards)Writing C en la documentación de GNU. Luego,
obtén el código fuente de Linux y lee el archivo linux/Documentation/CodingStyle,
e ignora los chistes de Linus. Estos dos documentos te darán una...