Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lenguajes de programación - Coggle Diagram
Lenguajes de programación
Sistema de tipos
Su propósito es prevenir errores en tiempo de ejecución. En general, requiere anotaciones de tipo en el código fuente.
Ejemplo
a]] {Elem} = A
[[b]] {Elem} = B
[[c]] {Elem} = C
Semántica
Descripción del significado de instrucciones y expresiones, esta puede ser informal (eg. Castellano) o formal (basado en técnicas matemáticas)
.
Ejemplo
((a into emptyset) unión emptyset)
Sintaxis
Descripción del conjunto de secuencias de símbolos considerados como programas válidos.
Ejemplo
{Prog} ::= ({Prog} unión {Prog}) | ({Elem} into {Prog}) | emptyset
{Elem} ::= a|b|c
Sirve
Para comunicar instrucciones a una.
¿Qué es?
Es un idioma artificial diseñado para expresar computaciones que pueden ser llevadas a cabo por máquinas como las computadoras.
Procesador
Compilar
Traduce un programa fuente en un programa objeto.
Ventajas
*Código compilado ejecuta (mucho) más rápido que código interpretado.
*Permite procesar módulos por separado
Interpretar
Programa que computa las acciones indicadas por un programa fuente.
Ventajas
*Programa fuente más pequeño que código compilado.
*Más fácil de escribir y modificar.
*Provee independencia de plataforma (portabilidad).
Paradigmas
Es una forma o estilo de programación de software (al existir varios lenguajes de programación el estilo y programación varia).
Funcional
Computación expresada a través de la aplicación y composición de funciones, no hay una memoria implícita.
Lógico
Computación expresada a través de proof search o alternativamente, por definición de predicados recursivos, no hay memoria implícita y resultados intermedios son pasados a través de unificación.
Imperativo
Computación expresada a través de modificación reiterada de memoria implícita, variables como abstracción de celdas de memoria.
Orientado a objetos
Computación a través del intercambio de mensajes entre objetos, objetos se agrupan en clases, clases de agrupan en jerarquías y resultados son pasados como parámetros a mensajes.
