Programación lógica y funcional

Click here to load reader

  • date post

    22-Feb-2017
  • Category

    Engineering

  • view

    1.510
  • download

    1

Embed Size (px)

Transcript of Programación lógica y funcional

Programacin lgica y funcional

Programacin lgica y funcional Unidad I 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.

1.2 Evaluacin de expresiones Una expresin es una combinacin de operandos 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 tipos Un tipo es una coleccin de valores relacionados.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.

Un lenguaje tiene disciplina de tipos si los errores de tipos se detectan siempre es necesario determinar los tipos de todos los operandos, ya sea en tiempo de compilacin o de ejecucinPascal: Cercano a tener disciplina de tipos pero no realiza comprobacin de tipos en los registros variantes (incluso puede omitirse la etiqueta discriminatoria en dichos registros)

1.5 Tipos de datos Un tipo de datos define un conjunto de valores y las operaciones sobre estos valores.TIPO BOOL

TIPO INT

TIPO FLOAT

TIPO INTEGER/DOUBLE

TIPO CHAR