UNIDAD I

El estilo de programacin se refiere a la forma en que se da formato al cdigo fuente. Los

lenguajes de programacin tienen la particularidad de cumplir un doble rol. Por un lado
sirven para comunicar humanos con computadoras. Son la forma de transformar una serie
de abstracciones como algoritmos, mdulos, tipos de datos y sistemas en algo que una
computadora pueda ejecutar.
Estilo de programacin (tambin llamado estndares de cdigo o convencin de cdigo)
es un trmino que describe convenciones para escribir cdigo fuente en ciertos lenguajes
de programacin.
El estilo de programacin es frecuentemente dependiente del lenguaje de programacin
que se haya elegido para escribir

PROGRAMACIN
Se llama programacin a la creacin de un programa de computadora, un conjunto
concreto de instrucciones que una computadora puede ejecutar. El programa se Escribe
en un lenguaje de programacin, aunque tambin se pueda escribir directamente en
lenguaje de mquina

PROGRAMAS Y ALGORITMOS
Un algoritmo es una secuencia no ambigua, finita y ordenada de instrucciones que han de
seguirse para resolver un problema. Un programa normalmente implementa (traduce a un
lenguaje de programacin concreto) un algoritmo.
Los programas suelen subdividirse en partes menores (mdulos), de modo que la
complejidad algortmica de cada una de las partes sea menor que la del programa
completo, lo cual ayuda al desarrollo del programa.

COMPILACIN
El programa escrito en un lenguaje de programacin no es inmediatamente ejecutado en
una computadora. La opcin ms comn es compilar el programa, aunque tambin puede
ser ejecutado mediante un intrprete informtico El cdigo fuente del programa se debe
someter a un proceso de transformacin para convertirse en lenguaje mquina,
interpretable por el procesador.
A este proceso se le llama compilacin.

PARADIGMA DE PROGRAMACIN
Un paradigma es una forma de representar y manipular el conocimiento. Representa un
enfoque particular o filosofa para la construccin del software. No es mejor uno que otro
sino que cada uno tiene ventajas y Desventajas. Tambin hay situaciones donde un
paradigma resulta ms apropiado que otro.

Algunos ejemplos de paradigmas de programacin:

El paradigma imperativo es considerado el ms comn y est representado, por ejemplo,
por el C o por BASIC.
El paradigma funcional est representado por la familia de lenguajes LISP, en particular
Scheme.
El paradigma lgico, un ejemplo es PROLOG.
El paradigma orientado a objetos. Un lenguaje completamente orientado a objetos es
Smalltalk.
Si bien puede seleccionarse la forma pura de estos paradigmas al momento de
programar, en la prctica es habitual que se mezclen, dando lugar a la programacin
multiparadigma.

PROGRAMACIN ESTRUCTURADA
La programacin estructurada es una forma de escribir programas para computadoras de
forma clara, para ello utiliza nicamente tres estructuras: secuencial, selectiva e iterativa;
siendo innecesario y no permitindose el uso de la instruccin o instrucciones de
transferencia incondicional (GOTO).

VENTAJAS DE LA PROGRAMACIN ESTRUCTURADA

Los programas son ms fciles de entender. Un programa estructurado puede ser ledo
en secuencia, de arriba hacia abajo, sin necesidad de estar saltando de un sitio a otro en
la lgica, lo cual es tpico de otros estilos de programacin. La estructura del programa es
ms clara puesto que las instrucciones estn ms
Reduccin del esfuerzo en las pruebas. El programa se puede tener listo para produccin
normal en un tiempo menor del tradicional; por otro lado, el seguimiento de las fallas se
facilita debido a la lgica ms visible, de tal forma que los errores se pueden detectar y
corregir ms fcilmente.
Reduccin de los costos de mantenimiento.
Programas ms sencillos y ms rpidos.
Aumento de la productividad del programador.

INCONVENIENTES DE LA PROGRAMACIN ESTRUCTURADA

El principal inconveniente de este mtodo de programacin, es que se obtiene un nico
bloque de programa, que cuando se hace demasiado grande puede resultar problemtico
su manejo, esto se resuelve empleando la programacin modular, definiendo mdulos
interdependientes programados y compilados por separado, cada uno de los cuales ha
podido ser desarrollado con programacin estructurada. Un mtodo un poco ms
sofisticado es la programacin por capas, en la que los mdulos tienen una estructura
jerrquica muy definida y se denominan capas.

PROGRAMACIN IMPERATIVA
La programacin imperativa, en contraposicin a la programacin declarativa, es un
paradigma de programacin que describe la programacin en trminos del estado del
programa y sentencias que cambian dicho estado. Los programas imperativos son un
conjunto de instrucciones que le indican al computador cmo realizar una tarea.
La implementacin de hardware de la mayora de computadores es imperativa;
prcticamente todo el hardware de los computadores est diseado para ejecutar cdigo
de mquina, que es nativo al computador, escrito en una forma imperativa.
La programacin imperativa, en contraposicin a la programacin declarativa, es un
paradigma de programacin que describe la programacin en trminos del estado del
programa y sentencias que cambian dicho estado. Los programas imperativos son un
conjunto de instrucciones que le indican al computador cmo realizar una tarea.
La implementacin de hardware de la mayora de computadores es imperativa;
prcticamente todo el hardware de los computadores est diseado para ejecutar cdigo
de mquina, que es nativo al computador, escrito en una forma imperativa.

PROGRAMACIN FUNCIONAL
La programacin funcional es un paradigma de programacin declarativa basado en la
utilizacin de funciones matemticas. Sus orgenes provienen del Clculo Lambda, una
teora matemtica elaborada por Alonzo Church como apoyo a sus estudios sobre
computabilidad. Un lenguaje funcional es a grandes rasgos, un azcar sintctico del
Clculo Lambda. Los programas escritos en un lenguaje funcional estn constituidos
nicamente por definiciones de funciones, entendiendo stas no como subprogramas
clsicos de un lenguaje imperativo, sino como funciones puramente matemticas

PROGRAMACIN LGICA
La programacin lgica consiste en la aplicacin del corpus de conocimiento sobre lgica
para el diseo de lenguajes de programacin. La programacin lgica comprende dos
paradigmas de programacin:
La programacin declarativa
La programacin funcional.
La programacin declarativa gira en torno al concepto de predicado, o relacin entre
elementos.
La programacin funcional se basa en el concepto de funcin (que no es ms que una
evolucin de los predicados), de corte ms matemtico.

PROGRAMACIN ORIENTADA A OBJETOS

La Programacin Orientada a Objetos (POO u OOP segn siglas en ingls) es un
paradigma de programacin que define los programas en trminos de "clases de objetos",
objetos que son entidades que combinan estado (es decir, datos), comportamiento (esto
es, procedimientos o mtodos) e identidad (propiedad del objeto que lo diferencia del
resto). La programacin orientada a objetos expresa un programa como un conjunto de
estos objetos, que colaboran entre ellos para realizar tareas. Esto permite hacer los
programas y mdulos ms fciles de escribir, mantener y reutilizar.
Desde la perspectiva de la programacin funcional, un programa interprete de un lenguaje
funcional es un evaluador que calcula las funciones que le introducimos. La tarea del
evaluador es simplificar la expresin de una funcin hasta alcanzar una forma irreductible,
que se muestra como solucin o respuesta. Cada uno de los pasos que da el evaluador
en el proceso de simplificacin se llama reduccin, y lo denotaremos con el smbolo). En
cada paso de reduccin, el evaluador reconoce una parte de la expresin, llamada redex
(del ingls reducible expresin), y la simplifica.

1.2 EVALUACIN DE EXPRESIONES

Es una subrutina o subprograma (tambin llamada procedimiento, funcin o rutina), como
idea general, se presenta como un sub-algoritmo que forma parte del algoritmo principal,
el cual permite resolver una tarea especfica.

1.3 DEFINICIN DE FUNCIONES

En programacin, una funcin es una seccin de un programa que calcula un valor de
manera independiente al resto del programa.
Una funcin tiene tres componentes importantes:
Los parmetros, que son los valores que recibe la funcin como entrada;
El cdigo de la funcin, que son las operaciones que hace la funcin; y
El resultado (o valor de retorno), que es el valor final que entrega la funcin.
En esencia, una funcin es un mini-programa. Sus tres componentes son anlogos a la
entrada, el proceso y la salida de un programa.
Las declaraciones de funciones generalmente son especificadas por:
Un nombre nico en el mbito: Nombre de la funcin con el que se identifica y se
distingue de otras. No podr haber otra funcin ni procedimiento con ese nombre (salvo
sobrecarga o polimorfismo en programacin orientada a objetos).
Un tipo de dato de retorno: tipo de dato del valor que la funcin devolver al terminar su
ejecucin.
Una lista de parmetros: Especificacin del conjunto de argumentos (pueden ser cero,
uno o ms) que la funcin debe recibir para realizar su tarea.
El cdigo u rdenes de procesamiento: conjunto de rdenes y sentencias que debe
ejecutar la funcin.

http://di002.edv.uniovi.es/~labra/PLF/Plf.html

http://www-2.dc.uba.ar/materias/plp/20061C/download.html