Please enable JavaScript.

Coggle requires JavaScript to display documents.

Paradigma Funcional (Cálculo Lambda (Aporte conceptual a los LP (Sintaxis…

- - - - Reflexividad M. = M
        Simetría M=N
        N=M
        Transitividad M = N
        N = P (x tanto)
        M=P
    - - 𝑀=𝑁
        M y N son terminos=es una relación de equivalencia
- - - - Ser el valor de una expresión
      - Pasarse como argumento
      - Colocarse en una estructura de datos
  - - - La definición de un lenguaje debe estar escrita en alguna notación (METALENGUAJE O LENGUAJE DE DEFINICIÓN)
      - Los lenguajes de definición tienden a ser funcionales
- - - - Por extensión o enumeración
      - Por comprensión
- - - - SUBPROG: Especificación de un algoritmo. Cuenta con datos de entrada (Parámetros)
        
        En paradigma funcional, SP es llamado FUNCIÓN; En imperativo, procedimiento
      - ESPECIFICACIONES AUXILIARES: (de constantes, de tipos de datos)
        
        Son auxiliares de las especificaciones algorítmicas
    - - Con condiciones
        
        Expresa el problema por resolver, qué debe hacer el algoritmo
      - Operacional
        
        Expresa el algoritmo; detalla cómo se resuelve el problema
    - - Precondición
        
        La especificación debe indicar sobre qué subconjuntos de los tipos de los datos de entrada está definido el algoritmo
      - Postcondición
        
        El algoritmo debe calcular valores de los tipos de salida que satisfagan la postcondición
  - - - Símbólico (+)
      - Alfanumérico (Div)
    - - Global
      - Local
    - - Se usan para describir partes del algoritmo
      - El programador no usa estos identificadores para definir nuevos objetos
  - - - Valor al que se hace referencia de manera simbólica mediante un identificador
    - - No tiene efecto en la ejecución del algoritmo, pero aumenta su legibilidad y su documentación
    - - Variable
        
        Identificador que designa en una expresión a cierto valor
      - Predicado y condición
        
        Función y expresión funcional que devuelven un valor booleano
      - Condicional
        
        Permite elegir entre dos valores posibles, dependiendo de la situación
    - - Se define en términos de sí misma; en su cuerpo aparece alguna aplicación tuya
      - Clases
        
        No Lineal
        
        El cuerpo contiene varias llamadas recursivas, en general dos (binaria)
        
        Mutua
        
        No contiene llamadas, pero durante la ejecución aparecen
        
        Lineal
        
        El cuerpo de la función contiene una llamada recursiva
      - Cada recursividad debe afectar a parámetros que la acerque al parámetro básico
- - - - Tomen funciones como argumentos
      - Devuelvan funciones como resultados
      - Manipulan otras funciones?
        
        No: Funciones de primer orden
        
        Sí: Funciones de orden superior