PROGRAMACION LOGICA Y FUNCIONAL

Un problema complejo se puede dividir en pequeños subproblemas mas sencillos. Estos subproblemas se conocen como “Módulos” y su complementacion en un lenguaje se llama subprograma (procedimientos y funciones). Un subprograma realiza las mismas acciones que un programa, sin embargo, un subprograma lo utiliza solamente un programa para un propósito especifico. Un subprograma recibe datos de un programa y le devuelve resultados (el programa “llama” o “invoca” al subprograma, este ejecuta una tarea especifica y devuelve el “control” al programa que lo llamo). Función: Una función en matemáticas, es una operación que toma un o mas valores (argumentos) y devuelve un resultado (valor de la función para los argumentos dados). Por ejemplo: F(X) = X / (1+X2) Donde: F ………….. Nombre de la función X …………. Es el argumento (también conocido como parámetro formal) Definición de funciones: Una definición de función se presenta de la siguiente manera: Función nombre_funcion (p1, p2, …

DISCIPLINA DE TIPOS “Los tipos se infieren, es decir se comprueban, de forma estática, en tiempo de compilación.” En los lenguajes de programación con disciplina de tipos, cada tipo representa una colección de valores o datos similares. El conocer los tipos de las funciones ayuda a documentar los programas y evitar errores en tiempo de ejecución. 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 compilación o de ejecución. Pascal Cercano a tener disciplina de tipos pero no realiza comprobación de tipos en los registros variantes (incluso puede omitirse la etiqueta discriminatoria en dichos registros). Ada • Resuelve el problema de los registros variantes realizando comprobación dinámica de tipos (sólo en este caso) • Tiene una función de biblioteca que permite extraer un valor de una variable de cualquier tipo (como u

Tipos de datos en programacion funcional En lenguaje funcional el uso de los datos debe ser selectivo y se debe tener cuidado al momento de hacer uso de un tipo en especifico de dato para retornar algun otro, por naturaleza del lenguaje es imposible hacerlo directamente ya que una vez iniciado un procedimiento no se pueden incluir tipos de datos diferente a la entrada, para poder hacer eso se deben hacer especificaciones en la declaracion de la funcon como por ejemplo:        <Haskell>         Funcion :: Int -> String         Funcion x = <parametros de la funcion> donde "x" representa la entrada de datos que habra al nomas ser solo la x solo recibira un parametro, en este caso se esta creando una funcion que va a recibir un entero y va a retornar una cadena, otro ejemplo de funciones que requieren mas trabajo la especificacion de tipos se hace de la siguiente manera:         <Haskell>          Funcion :: [a]->Int->Bool          Funcion x = &