FUNCIONAL LÓGICO OBJETOS

TIPO Declarativo - Atemporal- Declarativo (No hay Algoritmo) - Declarativo - Débilmente tipado
Fuertemente tipado(Estático) Débilmente tipado (Dinámico)

ABSTRACCIÓN Tuplas/Funciones Hechos, Reglas y Consultas. Todo es un Objeto. Clases

Predicados

Cada función devuelve un valor y

se puede reemplazar por un
TRANSP REFERENCIAL resultado. El valor de esa función NO NO
está únicamente ligado a los
valores de sus argumentos

SI. Mediante ASIGNACIÓN

EFECTO DE LADO NO NO
DESTRUCTIVA

EXPRESIVIDAD Listas por comprensión Delegación de responsabilidades.

Encapsulamiento

RECURSIVIDAD Función con llamado a sí misma Predicados con llamado a sí

mismo

Funciones que reciben o
ORDEN SUPERIOR devuelven funciones como
argumento. Ej: Map, 2*
1° Orden:Trabaja con
nros,bool,strings. Orden Sup:
Trabaja sobre predicados. Mayor
abstracción. Findall/Forall/Not

Cuando una función no recibe la

cantidad de parámetros que
APLICACIÓN PARCIAL necesita. Es posible mediante la NO. EVALUACIÓN ANSIOSA NO. EVALUACIÓN ANSIOSA
EVALUACIÓN DIFERIDA

Paramétrico: Recibe parámetros Mismo mensaje a distintos

de distinto tipos. EJ: LENGTH, FST, objetos, actúan de forma distinta.
SND, HEAD, TAIL Clase + Herencia (Method Lookup)
Mediante el uso de FUNCTORES,
POLIMORFISMO tratandolos a todos por igual.
Admite Pattern Matching
AD-HOC: Recibe un valor de un Colecciones-> Conjunto elementos
conjunto definido de tipos. Ej: distinto tipos. Entienden diferente
NUM, INT el mismo mensaje

Unificación de variables en todos

PATTERN MATCHING Unicidad de unificación de O algunos de los argumentos. NO
funciones UNICIDAD (Muchas respuestas)

Expresiones Lambda. Menos Inversibilidad. Restriccion:

Expresividad, pero no es (Comparación/Op.Aritmet/IS/NO Importa el Qué y no el Cómo.
PARTICULARIDAD necesario definir una nueva T) - Principio Universo Cerrado-
función. Definición local - > >Todo lo que no está definido es Mensajes compuestos
WHERE. Falso

SI HAY EFECTO DE LADO => NO HAY TRANSPARENCIA REFERENCIAL

SI HAY TRANSPARENCIA REFERENCIAL => NO HAY EFECTO DE LADO

Los datos son entidades que representan cada una de los aspectos de la realidad que son significativos
ABSTRACCIÓN
para el funcionamiento del sistema.

MODULARIZACIÓN Cada módulo no conoce el funcionamiento interno de los demás, sino únicamente su interfaz.

El impacto que produce la modificación de una funcionalidad particular del sistema no afectará a los
ENCAPSULAMIENTO otros módulos que interactúan con él.

DECLARATIVIDAD Separación del conocimiento, entre la lógica y el control. Describe su solución y se centra en el qué y no
en el cómo.

POLIMORFISMO Construcción de piezas de software genéricas que trabajan indistintamente con diferentes tipos de
entidades.

TRANSPARECIA El valor de una expresión depende únicamente del valor de sus componentes. No produce un cambio
REFERENCIAL en el estado de información del sistema que pueda afectar una posterior evaluación.

Efecto colateral. El resutaldo de la evaluación de un bloque de software depende de otros valores o

EFECTO DE LADO
condiciones del ambiente, más allá de los parámetros.
(Destructiva). Operación que consiste en cambiar la información representada por una variable.
ASIGNACIÓN Determina el estado. Es lo mas usual para provocar efecto de lado.

UNIFICACIÓN Ligar una variable que no tiene valor.

EVALUACIÓN ANSIOSA Los argumentos son evaluados antes de invocar al bloque de software.

EVALUACIÓN DIFERIDA Invoca al bloque de software y ve si es necesario evaluar todos los parámetros.

ÓRDEN SUPERIOR Los procedimientos que reciben como argumentos a otros procedimientos.
SAMSUNG GALAXY SL
12
PLAN ACUM PRECIO MOVISTAR 1 AÑO PLAN ACUM PRECIO EBAY 1 AÑO
150 1800 1800 3600 150 1800 1155 2955
200 2400 1200 3600
290 3480 1200 4680
EBAY 1 AÑO