PARADIGMAS DE PROGRAMACION:

Que tipos de paradigmas hay:

Programacin imperativa o por procedimientos: es el ms usado en general, se basa

en dar
instrucciones al ordenador de como hacer las cosas en forma de algoritmos. La
programacin imperativa
es la ms usada y la ms antigua, el ejemplo principal es el lenguaje de mquina.
Ejemplos de lenguajes puros de este paradigma seran el C, BASIC o Pascal.
Programacin orientada a objetos: est basada en el imperativo, pero encapsula
elementos denominados objetos que incluyen tanto variables como funciones.
Est representado por C++, C#, Java o Python entre otros, pero el ms
representativo sera el Smalltalk que est completamente orientado a objetos.
Programacin dinmica: est definida como el proceso de romper problemas en partes
pequeas para analizarlos y
resolverlos de forma lo ms cercana al ptimo, busca resolver problemas en O(n) sin
usar por tanto mtodos recursivos.
Este paradigma est ms basado en el modo de realizar los algoritmos, por lo que se
puede usar con cualquier lenguaje imperativo.
Programacin dirigida por eventos: la programacin dirigida por eventos es un
paradigma de programacin
en el que tanto la estructura como la ejecucin de los programas van determinados
por los sucesos que ocurran en el sistema,
definidos por el usuario o que ellos mismos provoquen.
Programacin declarativa: est basado en describir el problema declarando
propiedades y reglas que deben cumplirse, en lugar de instrucciones.
Hay lenguajes para la programacin funcional, la programacin lgica, o la
combinacin lgico-funcional.
Unos de los primeros lenguajes funcionales fueron Lisp y Prolog.
Programacin funcional: basada en la definicin los predicados y es de corte ms
matemtico, est representado por
Scheme (una variante de Lisp) o Haskell. Python tambin representa este paradigma.
1
Programacin lgica: basado en la definicin de relaciones lgicas, est
representado por Prolog.
Programacin con restricciones: similar a la lgica usando ecuaciones. Casi todos
los lenguajes son variantes del Prolog.
Programacin multiparadigma: es el uso de dos o ms paradigmas dentro de un
programa.
El lenguaje Lisp se considera multiparadigma. Al igual que Python, que es orientado
a objetos, reflexivo, imperativo y funcional.1
Lenguaje especfico del dominio o DSL: se denomina as a los lenguajes
desarrollados para resolver un problema especfico,
pudiendo entrar dentro de cualquier grupo anterior. El ms representativo sera SQL
para el manejo de las bases de datos,
de tipo declarativo, pero los hay imperativos, como el Logo.

*****************************
Antecedentes de python:
El origen del lenguaje Python se remonta a principios de los noventa.
Por este tiempo, un investigador holands llamado Guido van Rossum, que trabajaba
en el centro de investigacin CWI (
Centrum Wiskunde & Informatica) de msterdam, es asignado a un proyecto que
consista en el desarrollo de un sistema operativo distribuido llamado Amoeba.
Por aquel tiempo, el CWI utilizaba un lenguaje de programacin llamado ABC.
En lugar de emplear este lenguaje para el proyecto Amoeba, Guido decide crear
uno nuevo que pueda superar las
limitaciones y problemas con los que se haba encontrado
al trabajar en otros proyectos con ABC.
As pues, es esta la principal motivacin que dio lugar al nacimiento de Python.

*************************************************
Evolucion de los lenguajes:

********************************************
De que se trata el paradigma logico:
Los programas para los lenguajes de programacin lgicos son un conjunto de hechos
y reglas.
La sintaxis de los lenguajes de programacin lgicos es notablemente diferente de
los lenguajes de programacin imperativos.
Unificacin de trminos.
Mecanismos de inferencia automtica.
Recursin como estructura de control bsica.
Visin lgica de la computacin.
La aplicacin de las reglas de la lgica para inferir conclusiones a partir de
datos.
El programa se transforma en un conjunto de declaraciones formales de
especificaciones que deben ser correctas por definicin.
No tiene un algoritmo que indique los pasos que detallen la manera de llegar a un
resultado.
Las salidas son funcionalmente dependientes de las entradas.
Lenguajes Representativos

ALF logtalk.org_400x400
CLP
Elf
Flang
Godel
KLIC
Logtalk
Prolog
**************************************************
Orientado a objetos:

Clase: definiciones de las propiedades y comportamiento de un tipo de objeto

concreto.
La instanciacin es la lectura de estas definiciones y la creacin de un objeto a
partir de ellas.
Herencia: (por ejemplo, herencia de la clase C a la clase D) es la facilidad
mediante la cual la clase D hereda en ella cada uno de los atributos y operaciones
de C, como si esos atributos y operaciones hubiesen sido definidos por la misma D.
Por lo tanto, puede usar los mismos mtodos y variables publicas declaradas en C.
Los componentes registrados como "privados" (private) tambin se heredan, pero como
no pertenecen a la clase, se mantienen escondidos al programador y slo pueden ser
accedidos a travs de otros mtodos pblicos.
Esto es as para mantener hegemnico el ideal de POO.
Objeto: Instancia de una clase. Entidad provista de un conjunto de propiedades o
atributos (datos) y de comportamiento o funcionalidad (mtodos),
los mismos que consecuentemente reaccionan a eventos. Se corresponden con los
objetos reales del mundo que nos rodea, o con objetos internos del sistema (del
programa). Es una instancia a una clase.
Mtodo: algoritmo asociado a un objeto (o a una clase de objetos), cuya ejecucin
se desencadena tras la recepcin de un "mensaje".
Desde el punto de vista del comportamiento, es lo que el objeto puede hacer. Un
mtodo puede producir un cambio en las propiedades del objeto, o la generacin de
un "evento" con un nuevo mensaje para otro objeto del sistema.
Evento: es un suceso en el sistema (tal como una interaccin del usuario con la
mquina, o un mensaje enviado por un objeto).
El sistema maneja el evento enviando el mensaje adecuado al objeto pertinente.
Tambin se puede definir como evento la reaccin que puede desencadenar un objeto;
es decir, la accin que genera.
Atributos: caractersticas que tiene la clase.