Los lenguajes de programación se definen,como a algunas lógicas, dando su sintaxis y semántica, la sintaxis nos dice como escribir programas correctos, mientras que la semántica define el significado que esos programas tendrán.
Paradigmas de programación:
Un paradigma es un modelo, cuando hablamos de un paradigma de programación, estamos hablando del modo, forma o estilo en que se dan las soluciones a los problemas; los distintos modelos de programación permiten entender el término computación de distintas maneras.
Los paradigmas más usados son:
Paradigma imperativo
Un programa es una serie de instrucciones, por ejemplo x= 2 (la asignación es la operación elemental en este paradigma) , COBOL, FORTRAN, C, son ejemplos de lenguajes que siguen este paradigma
Paradigma Orientado a Objetos
Un programa es una colección de objetos que interactúan entre ellos, cuatro conceptos importantes en este paradigma son: abstracción, sub tipificación, herencia y dinamic lookup, C++, JAVA, SMALLTALK son ejemplos de lenguajes de programación que siguen este paradigma
Paradigma Lógico
Un programa es una colección de declaraciones lógicas, que dicen las características de la solución. los programas son declarativos (dicen el que no el como se encuentra la solución) , PROLOG y SOUL son ejemplos de lenguajes que siguen este paradigma
Paradigma Funcional
los programas son declarativos, y son una colección de funciones que se componen de forma compleja para encontrar la solución, LISP, SCHEME, HASKELL son ejemplos de lenguajes que siguen este paradigma, (no hay while' s o for 's se usa la recursividad para modelar ciclos, tampoco existe la asignación)
tomado de: notas de clase lenguajes de programación del Dr Favio Miranda Perea y del Libro Concepts in Programming Languages by Jhon Mitchell
No hay comentarios:
Publicar un comentario