Programacin

lgica y
funcional

Conceptos fundamentales
1.1 Estilos de programacin
Estilo de programacin (tambin llamado estndares de
cdigo o convencin de cdigo) es un trmino que describe
convenciones para escribir cdigo fuente en ciertos
lenguajes de programacin.
El estilo de programacin es frecuentemente dependiente
del lenguaje de programacin que se haya elegido para
escribir. Por ejemplo el estilo del lenguaje de programacin
C variar con respecto al del lenguaje BASIC.

Estilo K&R es el ms utilizado en el lenguaje C y PHP, el estilo fue

llamado de esta forma porque fue usado por Kernighan y Ritchies en su
libro The C Programming Lenguage.
Estilo Allman fue definido por Eric Allman, se trata de crear una nueva
lnea para las llaves, e identificar el cdigo debajo de ellas.
Estilo BSD KNF tambin conocido como estilo Kernel Normal From, es la
manera ms usada para el cdigo de la distribucin del software del
sistema operativo de Berkeley.

Estilo Whitesmiths tambin llamado estilo wishart, se coloca las llaves

asociadas con la instrucciones de control.

1.2 EVALUACIN DE EXPRESIONES

Una expresin es una combinacin de operando y
operadores. La evaluacin de una expresin consiste en
reducirla, esto es, realizar todas las operaciones contenidas
en ella para obtener un valor final.
Para evaluar una expresin es necesario conocer la
prioridad de los operadores, con lo cual se puede determinar
cul operacin se va a realizar antes que las dems.
Una expresin entre parntesis se evala primero que las
dems. Si hay parntesis se evala primero la expresin
contenida en los parntesis ms internos

1.3 DEFINICIN DE FUNCIONES

Las funciones se crearon para evitar tener que repetir constantemente
fragmentos de cdigo. Una funcin podra considerarse como una variable
que encierra cdigo dentro de s. Por lo tanto cuando accedemos a dicha
variable (la funcin) en realidad lo que estamos es diciendo al programa
que ejecute un determinado cdigo predefinido anteriormente.
Todos los lenguajes de programacin tienen algunos elementos de
formacin primitivos para la descripcin de los datos y de los procesos o
transformaciones aplicadas a estos datos (tal como la suma de dos
nmeros o la seleccin de un elemento que forma parte de una coleccin).
Estos elementos primitivos son definidos por reglas sintcticas y
semnticas que describen su estructura y significado respectivamente.

1.4 Disciplina de datos

DISCIPLINA: Es la coordinacin de actitudes con las cuales se instruye para desarrollar
habilidades, o para seguir un determinado cdigo de conducta u "orden". Un ejemplo
es la enseanza de una materia, ciencia o tcnica, especialmente la que se ensea en
un centro (Docente asignatura).
En los lenguajes de programacin con disciplina de tipos, cada tipo representa una
coleccin de valores (datos) similares. Una funcin cuyo tipo sea A1 -> ... An -> espera
n parmetros con tipos A1, ... An y devuelve un resultado de tipo R. El conocer los
tipos de las funciones ayuda a documentar los programas y a evitar errores en tiempo
de ejecucin.
Disciplina esttica de tipos: Los programas bien tipados se pueden reconocer en
tiempo de compilacin, un programa bien tipado se puede utilizar sin efectuar
comprobaciones de tipo en tiempo de ejecucin. Estando garantizado que no se
producirn
errores
de
tipo
durante
el
cmputo.

1.5 Tipos de datos

Tipos de Datos En lenguajes de programacin un tipo de dato es un atributo de
una parte de los datos que indica al ordenador (y/o al programador) algo sobre
la clase de datos sobre los que se va a procesar.
Los Tipos de Datos En un sentido amplio, un tipo de datos define un conjunto de
valores y las operaciones sobre estos valores. Casi todos los lenguajes de
programacinexplcitamenteincluyen la notacin deltipo de datos, aunque
lenguajes diferentes pueden usar terminologa diferente. La mayor parte de los
lenguajes de programacin permiten al programador definir tipos de datos
adicionales, normalmente combinando mltiples elementos de otros tipos y
definiendo las operaciones del nuevo tipo de dato. Por ejemplo, un programador
puede crear un nuevo tipo de dato llamado "Persona" que especifica que el dato
interpretado como Persona incluir un nombre y una fecha de nacimiento.

Ejemplos: