Conceptos y Paradigmas de los Lenguajes de Programación

CONCEPTOS Y PARADIGMAS PARADIGMAS DE LOS LENGUAJES DE PROGRAMACIÓN PRIMER PARCIAL PARCIAL PRÁCTICA I SINTAXIS Conjunto de reglas que definen cómo componer letras, dígitos y otros caracteres para formar los programas. Un lenguaje, sea natural (como el español) o artificial (como Java) es un conjunto de cadenas de caracteres provenientes de algn alfa!eto. "as cadenas de un lenguaje son denominadas sentencias o declaraciones. "as reglas sint#cticas de un lenguaje especifican cu#les cadenas de caracteres de un alfa!eto est#n en el lenguaje. "a sinta$is se descri!e por un conjunto de reglas que definen la forma del lenguaje% definen cómo las sentencias de!en ser formadas como secuencia de componentes !#sicos llamados pala!ras. Usando esas reglas, podemos decir si una sentencia es v#lida o no. "a sinta$is no de!e contarnos nada so!re el contenido (o significado) de la sentencia &eso lo 'ace la sem#ntica.  sí, la sinta$is de un lenguaje es definida por dos conjuntos de reglas% las l$icas y las sint#cticas. "as léxicas especifican un conjunto de caracteres que constituyen el alfa!eto del lenguaje y la manera en que tales caracteres se pueden com!inar para formar pala!ras v#lidas. "a sinta$is de un lenguaje influye en cómo los programas son escritos por el programador, leídos por otro programador y traducidos por el computador. *lementos de la +inta$is  lfa!eto o conjunto de caracteres% ener en cuenta con qu conjunto de caracteres se tra!aja so!re todo por el orden a la 'ora de comparaciones. "a secuencia de !its que compone cada car#cter la determina la implementación. -dentificadores% *lección m#s ampliamente utiliada% Cadena de letras y dígitos, que de!en comenar con una letra. +i se restringe la longitud se pierde legi!ilidad /peradores% Con los operadores de suma, resta, etc. la mayoría de los lenguajes utilian 0, 1. *n los otros operadores no 'ay tanta uniformidad. 2ala!ra clave y 3ey4ords% son pala!ras claves que tienen un significado dentro de un conte$to. 2ala!ra reservada, son pala!ras claves que adem#s no pueden ser usadas por el programador  como identificador de otra entidad. Comentarios y uso de !lancos% 5acen los programas m#s legi!les. *structura sint#ctica 6oca!ulario o 4ords% Conjunto de caracteres y pala!ras necesarias para construir e$presiones, senten sentencia ciass y progr programas amas.. *j% identi identific ficado adores res,, opera operador dores, es, pala!r pala!ras as claves claves,, etc. etc. "as 4ords 4ords no son elementales se construyen a partir del alfa!eto *$presiones% +on funciones que a partir de un conjunto de datos devuelven un resultado. +on !loques sint#cticos !#sicos a partir de los cuales se construyen las sentencias y programas +entencias% Componente sint#ctico m#s importante. iene un fuerte impacto en la facilidad de escritura y legi!ilidad 5ay sentencias simples, estructuradas y anidadas.

REGLA LEXICOGRÁFICA Y REGLA SINTÁCTICA 7eglas l$icas% Conjunto de reglas para formar las 84ord9, a partir de los caracteres del alfa!eto. :iferencias entre maysculas y minsculas. +ím!olo de distinto. *n C ;< en 2ascal => 7eglas sint#cticas% Conjunto de reglas que definen como formar las 8e$presiones9 y 8sentencias9. *l -f en C no lleva 89t'en99, en 2ascal si. "a diferencia entre l$ico y sint#ctico es ar!itrario, dan la apariencia e$terna del lenguaje

1

TIPOS DE SINTÁXIS ABSTRACTA% +e refiere !#sicamente a la estructura CONCRETA% +e refiere !#sicamente a la parte l$ica PRAGMÁTICA % +e refiere !#sicamente al uso pr#ctico ?'ile (c;a)!egin end * 2+C" +on diferentes respecto a la sinta$is coc!"#a, porque e$isten diferencias l$icas entre ellas. +on iguales respecto a la sint#$is a$s#!ac#a, ya que am!as tienen la misma estructura 4'ile condición !loque *jemplo de sint#$is %!a&'(#ica% => es mas legi!le que ;< *n C y 2ascal @A o !egin1end pueden omitirse si el !loque esta compuesto por una sola sentencia. 2ragm#ticamente puede conducir a error ya que si se necesitara agregar una sentencia de!e agregarse el !egin end o las @A.

LEXEMAS "os le$emas de los lenguajes de programación incluyen sus literales numricos, operadores, y pala!ras especiales, entre otros. Uno puede pensar en programas como cadenas de le$emas en lugar de caracteres. +on divididos en grupos, por ejemplo, nom!res de varia!les, mtodos, clases, e identificadores. Cada grupo es representado por un nom!re o un to3en. sí, un to3en de un lenguaje es una categoría de le$emas. *jemplo inde$
to3ens identifier   equalHsign intH literal multHop identifier   plusHop intHliteral semicolon

BNF )BAC*US NAUN FORM+ *s una notación formal para descri!ir la sinta$isB es un metalenguajeB utilia metasím!olos = > %%< I :efine las reglas por medio de 8producciones9

G!a'(#ica% Conjunto de reglas finita que define un conjunto infinito de posi!les sentencias v#lidas en el lenguaje. Una gram#tica esta formada por una 1tupla K< (, , +, 2)

EBNF. *sta gram#tica es la LM e$tendida "os metasim!olos que incorporados son% N O elemento optativo puede o no estar  (I) selección de una alternativa @A repetición P o mas veces 0 una o mas veces

ÁRBOLES SINTÁCTICOS 2

8Juan un canta manta9 *s una oración sint#cticamente incorrecta. o todas las oraciones que se pueden armar con los terminales son v#lidas. +e necesita de un Qtodo de an#lisis (reconocimiento) que permita determinar si un string dado es valido o no en el lenguaje% 2ar3ing% *l parse, para cada sentencia construye un 8#r!ol sint#ctico o #r!ol de derivación9 :os maneras de construirlo% Qtodo !otton1up% :e iquierda a derec'aB :e derec'a a iquierda Qtodo top1do4n% :e iquierda a derec'aB :e derec'a a iquierda

ÁRBOL DE DERI,ACIÓN *jemplo top1do4n de iquierda a derec'a =oración> <> =sujeto>=predicado> <> Juan =predicado> <> Juan =ver!o>=o!jeto> <> Juan compra =o!jeto> <> Juan compra art>=sustan> <> Juan compra un =sustan> <> Juan compra un perro "os compiladores utilian el parse canónico que es el !ottom1up de iquierda a derec'a PRODUCCIONES RECURSI,AS +on las que 'acen que el conjunto de sentencias descripto sea infinito. *jemplo de producciones recursivas% =natural> %%< =digito> I =digito>=digito> I ....... I =digito>..............=digito> +i lo planteamos recursivamente K < ( , , +, 2)  < @ =natural>, =digito> A  < @ P, F, D, R, , S, T, G, , V A + < =natural> 2 < @=natural> %%< =digito> I =digito> =natural>, =digito> %%< P I F I D I R I  I S I T I G I  I VA Cualquier gram#tica que tiene una producción recursiva descri!e u n lenguaje infinito. 7egla recursiva por la iquierda% "a asociatividad es por la iquierda. *l sím!olo no terminal de la parte iquierda de una regla de producción aparece al comieno de la parte derec'a 7egla recursiva por la derec'a% "a asociatividad es por la derec'a. *l sím!olo no terminal de la parte iquierda de una regla de producción aparece al final de la parte derec'a

GRAMÁTICAS AMBIGUAS Una gram#tica es am!igua si una sentencia puede derivarse de m#s de una forma K< ( , , +, 2)  < @ =id>, =e$p>, =asig>A  < @ ,L,C, 0,E,1,W,% 2F < @ =asig> %%< =id> %< =e$p> =e$p> %%< =e$p>0=e$p>I=e$p>E=e$p>I=e$p>1 =e$p>I=e$p>W =e$p>I=id> =id> %%<  I L I C SUBGRAMÁTICAS- +ea la gram#tica para identificadores K- < ( , , +, 2)  < @ =id>, =letra>, =digito>, =otro>A  < @ , ................, X, P, ........, FA + < =id> 2 < @ =id> %%< =letra> I =letra>=otro>, =otro> %%< =letra> I =digito> I =letra>=otro> I =digito>=otro>, =letra> %%<  I L I C I .............I X =digito> %%< P I F I D I I V A

3

2ara definir la gram#tica K*, de e$presiones, se puede utiliar la gram#tica de nmeros y de identificadores. K* se defiría utiliando las su!gram#ticas K y K9"a filosofía de composición es la forma en que tra!ajan los compiladores9

GRAMÁTICAS LIBRES DE CONTEXTO Y SENSIBLES AL CONTEXTO int eB a %< ! 0 cB +egn nuestra gram#tica son sentencias sint#cticamente v#lidas, aunque puede suceder que a veces no lo sea sem#nticamente. *l identificador est# definido dos veces. o son del mismo tipo. Una gram#tica li!re de conte$to es aquella en la que no realia un an#lisis del conte$to. Una gram#tica sensi!le al conte$to analia este tipo de cosas. (lgol T). DIAGRAMAS SINTÁCTICOS )CON.AY+ *s un grafo sint#ctico o carta sint#ctica. Cada diagrama tiene una entrada y una salida, y el camino determina el an#lisis. Cada diagrama representa una regla o producción. 2ara que una sentencia sea v#lida, de!e 'a!er un camino desde la entrada 'asta la salida que la descri!a. +e visualia y entiende mejor que LM o *LM PRÁCTICA III SEMÁNTICA "a sem#ntica descri!e el significado de los sím!olos, pala!ras y frases de un lenguaje ya sea lenguaje natural o lenguaje inform#tico. "a sem#ntica de un lenguaje determina cómo los programas son compuestos por el programador, entendidos por otros programadores e interpretados por el computador. "a sinta$is es importanteB pero la sem#ntica es m#s importante an. S"'(#ica "s#(#ica- o est# relacionado con el significado del programa, est# relacionado con las formas validas. +e las llama así porque el an#lisis para el c'equeo puede 'acerse en compilación. 2ara descri!ir la sinta$is y la sem#ntica est#tica formalmente sirven las denominadas gram#ticas de atri!utos, inventadas por Ynut' en FVT. Keneralmente las gram#ticas sensi!les al conte$to resuelven los aspectos de la sem#ntica est#tica. Mormal% Kram#tica de atri!utos -   las construcciones del lenguaje se le asocia información a travs de los llamados 8atri!utos9 asociados a los sím!olos de la gram#tica correspondiente. "os valores de los atri!utos se calculan mediante las llamadas 8ecuaciones o reglas sem#nticas9 asociadas a las producciones gramaticales. "a evaluación de las reglas sem#nticas puede% Kenerar Código. -nsertar información en la a!la de +ím!olos. 7ealiar el C'equeo +em#ntico. :ar mensajes de error, etc. "os atri!utos est#n directamente relacionados con los sím!olos gramaticales (terminales y no terminales) "a forma, general de e$presar las gram#ticas con atri!utos se escri!en en forma ta!ular.

S"'(#ica /i('ica *s la que descri!e el efecto de ejecutar las diferentes construcciones en el lenguaje de programación. +u efecto se descri!e durante la ejecución del programa. "os programas solo se pueden ejecutar si son correctos para la sint#$is y para la sem#ntica est#tica. Ti%os /" s"'(#icas Mormal +em#ntica a$iom#tica% Considera al programa como 8una m#quina de estados9. "a notación empleada es el 8c#lculo de predicados9. +e desarrolló para pro!ar la corrección de los programas. "os 4

constructores de los lenguajes de programación se formalian descri!iendo como su ejecución provoca un cam!io de estado. Un estado se descri!e con un predicado que descri!e los valores de las varia!les en ese estado. *$iste un estado anterior y un estado posterior a la ejecución del constructor. Cada sentencia se precede y se contina con una e$presión lógica que descri!e las restricciones y relaciones entre los datos. 2recondición 2oscondición +em#ntica :enotacional% +e !asa en la teoría de funciones recursivas. +e diferencia de la a$iom#tica por la forma que descri!e los estados, la a$iom#tica lo descri!e a travs de los predicados, la denotacional a travs de funciones. +e define una correspondencia entre los constructores sint#cticos y sus significados. o Mormal +em#ntica /peracional% *l significado de un programa se descri!e mediante otro lenguaje de !ajo nivel implementado so!re una m#quina a!stracta. "os cam!ios que se producen en el estado de la m#quina cuando se ejecuta una sentencia del lenguaje de programación definen su significado *s un mtodo informal *s el m#s utiliado en los li!ros de te$to 2"WF fue el primero que la utilió

PROCESAMIENTO DE UN LENGUAJE TRADUCCIÓN- "as computadoras ejecutan lenguajes de !ajo nivel llamado 8lenguaje de m#quina9. Uso de código mnemotcnico (a!reviatura con el propósito de la instrucción). 8"enguaje *nsam!lador9 y 82rograma *nsam!lador9. parición de los 8"enguajes de alto nivel9  lternativas de traducción% I#é!%!"#"% "ee, nalia, :ecodifica y *jecuta una a una las sentencias de un programa escrito en un lenguaje de programación. *j% "isp, +malltal3, Lasic, 2yt'on, etc.) 2or cada posi!le acción 'ay un su!programa que ejecuta esa acción. "a interpretación se realia llamando a estos su!programas en la secuencia adecuada. Un intrprete ejecuta repetidamente la siguiente secuencia de acciones% /!tiene la pró$ima sentencia :etermina la acción a ejecutar  *jecuta la acción Co'%ila/o! % "os programas escritos en un lenguaje de alto nivel se traducen a una versión en lenguaje de m#quina antes de ser ejecutados. ipos de traductores% Compilador% "enguaje fuente% "enguaje de alto nivel. "enguaje o!jeto% Cualquier lenguaje de m#quina de una m#quina real, o lenguaje assem!ler, o algn lenguaje cercano a ellos  ssem!ler% "enguaje fuente% "enguaje assem!ler. "enguaje o!jeto% lguna variedad de lenguaje de m#quina "in31editor% "enguaje fuente% Qódulos en lenguaje de m#quina en forma reu!ica!le. "enguaje o!jeto% Una simple unidad en forma reu!ica!le con todos los módulos lin3editados  juntos. "oador% "enguaje fuente% 2rograma en forma reu!ica!le con la ta!la de datos. "enguaje o!jeto% "enguaje de m#quina (código ejecuta!le) *n ciertos lenguajes como C, se ejecuta antes del compilador otro traductor llamada 8Mac!o0P!oc"sa/o! o P!" P!oc"sa/o! 9% Mac!o% fragmento de te$to fuente que lleva un nom!re. *n el programa se utilia el nom!re de la macro. *l nom!re de la macro ser# reemplaada por su código cuando se procesen las macros. *jemplo en C Contiene directivas que de!en resolverse antes de pa sar a la compilación Zinclude% -nclusión de arc'ivos de te$to, *j% Zinclude =stdio.'> Zdefine% 7emplaa sím!olos por te$to, *j% Zdefine 2- R.FFT Qacros% Munciones en1línea, *j% Zdefine ma$($,y) (($)>(y)[($)%(y)) Zifdef% Compilación condicional.

5

 l compilar los programas la ejecución de los mismos es m#s r#pida. *j. de programas que se compilan% C, da, 2ascal, etc. "os compiladores pueden ejecutare en un solo paso o en dos pasos. *n am!os casos cumplen con varias etapas, las principales son A(lisis  n#lisis l$ico (Sca"! )% *s el que lleva m#s tiempo. 5ace el an#lisis a nivel de pala!ra. :ivide el programa es sus elementos constitutivos% identificadores, delimitadores, sím!olos especiales, nmeros, pala!ras clave, delimitadores, comentarios, etc. nalia el tipo de cada to3en. Miltra comentarios y separadores como% espacios en !lanco, ta!ulaciones, etc. Kenera errores si la entrada no coincide con ninguna categoría l$ica Convierte a representación interna los nmeros en punto fijo o punto flotante. 2oner los identificadores en la ta!la de sím!olos. 7eemplaa cada sím!olo por su entrada en la ta!la. *l resultado de este paso ser# el descu!rimiento de los items l$icos o to3ens.  n#lisis sint#ctico (Pa!s"! ) % *l an#lisis se realia a nivel de sentencia. +e identifican las estructurasB sentencias, declaraciones, e$presiones, etc. ayud#ndose con los to3ens. *l analiador  sint#ctico se alterna con el an#lisis sem#ntico. Usualmente se utilian tcnicas !asadas en gram#ticas formales. plica una gram#tica para construir el #r!ol sint#ctico del programa. A(lisis s"'(#ico  (+em#ntica est#tica)% *s la mas importante. "as estructuras sint#cticas reconocidas por el analiador sint#ctico son procesadas y la estructura del código ejecuta!le toma forma. +e realia la compro!ación de tipos. +e agrega la información implícita (varia!les no declaradas). +e agrega a la ta!la de sím!olos los descriptores de tipos, etc. a la ve que se 'acen consultas para realiar  compro!aciones. +e 'acen las compro!aciones de nom!res. *j% toda varia!le de!e estar declarada. *s el ne$o entre el an#lisis y la síntesis

G""!aci1 /" c1/i&o i#"!'"/io- :e!e ser f#cil de producir. :e!e ser f#cil de traducir al programa o!jeto S2#"sis- *n esta etapa se construye el programa ejecuta!le. +e genera el código necesario y se optimia el programa generado. +i 'ay traducción separada de módulos, es en esta etapa cuando se lin3edita. +e realia el proceso de optimiación. /ptativo /ptimiación del código Keneración del código

Co'%a!aci1 "#!" T!a/3c#o! " I#é!%!"#" Morma en cómo ejecuta% -ntrprete% *jecuta el programa de entrada directamente Compilador% 2roduce un programa equivalente en lenguaje o!jeto Morma en qu orden ejecuta% -ntrprete% +igue el orden lógico de ejecución Compilador% +igue el orden físico de las sentencias iempo de ejecución% -ntrprete% 2or cada sentencia se realia el p roceso de decodificación para determinar las operaciones a ejecutar y sus operandos. +i la sentencia est# en un proceso iterativo, se

6

realiar# la tarea tantas veces como sea requerido. "a velocidad de proceso se puede ver  afectada Compilador% o repetir laos, se decodifica una sola ve *ficiencia% -ntrprete% Q#s lento en ejecución Compilador% Q#s r#pido desde el punto d e vista del 'ard *spacio ocupado% -ntrprete% /cupa menos espacio, cada sentencia se deja en la forma original Compilador% Una sentencia puede ocupar cientos de sentencias de m#quina :etección de errores% -ntrprete% "as sentencias del código fuente pueden ser relacionadas directamente con la que se esta ejecutando. Compilador% Cualquier referencia al código fuente se pierde en el código o!jeto

Co'$iaci1 /" a'$as #écicas- "os compiladores y los intrpretes se diferencian en la forma que ellos reportan los errores de ejecución. lgunos am!ientes de programación contienen las dos versiones interpretación y compilación. Utilian el intrprete en la etapa de desarrollo, facilitando el diagnóstico de errores. "uego que el programa 'a sido validado se compila para generar código mas eficiente. /tra forma de com!inarlos% raducción a un código intermedio que luego se interpretar#. +irve para generar código porta!le, es decir, código f#cil de transferir a diferentes m#quinas. *jemplos% Java, genera un código intermedio llamado 8!ytecodes9, que luego es interpretado por la m#quina cliente.

PRÁCTICA I, SEMÁNTICA DE LOS LENGUAJES DE PROGRAMACIÓN

DESCRIPTOR % lugar donde se almacenan los atri!utos LIGADURA )BINDING+ "os programas tra!ajan con entidades  "as entidades tienen atri!utos esta!lecerse antes de poder usar la entidad "-K:U7% es la asociación entre la entidad y el atri!uto

 *stos

atri!utos tienen que

:iferencias entre los lenguajes de programación *l nmero de entidades *l nmero de atri!utos que se les pueden ligar  *l momento en que se 'acen las ligaduras (!inding time). "a esta!ilidad de la ligadura% una ve esta!lecida se puede modificar[ Q/Q*/ :* "-K:U7 :efinición del lenguaje -mplementación del lenguaje Compilación (procesamiento) *jecución 7

Una ligadura "s "s#(#ica si se esta!lece antes de la ejecución y no se puede cam!iar. *l termino est#tico referencia al momento del !inding y a su esta!ilidad. Una ligadura "s /i('ica si se esta!lece en el momento de la ejecución y puede cam!iarse de acuerdo a alguna regla específica del lenguaje. *$cepción% constantes

,ARIABLES Qemoria principal% celdas elementales, identificadas por una dirección. *l contenido de una celda es una representación codificada de un valor 

4NOMBRE5 ALCANCE5 TIPO5 L0,ALUE5 R0,ALUE6 om!re% string de caracteres que se usa para referenciar a la varia!le. (identificador)  lcance% es el rango de instrucciones en el que se conoce el nom!re ipo% valores y operaciones "1value% es el lugar de memoria asociado con la varia!le (tiempo de vida) 71value% es el valor codificado almacenado en la u!icación de la varia!le NOMBRE  spectos de diseño% "ongitud m#$ima% lgunos ejemplos% Mortran%T 2yt'on% sin límiteB C% depende del compilador, suele ser de RD y se ignora si 'ay m#sB 2ascal, Java, :% cualquier longitud Caracteres aceptados (conectores)% *jemplo% 2yt'on, C, 2ascal% HB 7u!y% solo letras minsculas para varia!les localesB +ensitivos% +um < sum < +UQ [ . *jemplos% C y 2yt'on sensi!les a maysculas y minsculas. 2ascal no sensi!le a maysculas y minsculas. pala!ra reservada 1 pala!ra clave ALCANCE *l alcance de una varia!le es el rango de instrucciones en el que se conoce el nom!re. ( 7isi$ili/a/) 8

"as instrucciones del programa pueden 'ai%3la! 3a 7a!ia$l" a travs de su nom!re dentro de su alcance. "os diferentes lenguajes adoptan diferentes reglas para ligar un nom!re a su alcance.  lcance est#tico% "lamado alcance l$ico. :efine el alcance en trminos de la estructura l$ica del programa. 2uede ligarse est#ticamente a una declaración (e$plícita o implícita) e$aminando el te$to del programa, sin necesidad de ejecutarlo. "a mayoría de los lenguajes adoptan reglas de ligadura de alcance est#tico.  lcance din#mico% :efine el alcance del nom!re de la varia!le en trminos de la ejecución del programa. Cada declaración de varia!le e$tiende su efecto so!re todas las instrucciones ejecutadas posteriormente, 'asta que una nueva declaración para una varia!le con el mismo nom!re es encontrado durante la ejecución. 2", "isp (original), fni$ (llamado lep' 'asta el DPPR), cl (ool Command "anguage), 2erl

9

10

Es#(#ico ,s Di('ico

11

"as reglas din#micas son m#s f#ciles de implementar. +on menos claras en cuanto a disciplina de programación. *l código se 'ace m#s difícil de leer.

Local% +on todas la referencias que se 'an creado dentro del programa o su!programa. No Local% +on todas las referencias que se utilian dentro del su!programa pero que no 'an sido creadas en l. Glo$al% +on todas las referencias creadas en el programa principal

Es%acios /" o'$!"s- Un espacio de nom!re es una ona separada donde se pueden declarar  y definir o!jetos, funciones y en general, cualquier identificador de tipo, clase, estructura, etc.B al que se asigna un nom!re o identificador propio. Utilidad% yudan a evitar pro!lemas con identificadores con el mismo nom!re en grandes proyectos o cuando se usan !i !liotecas e$ternas. TIPO :efinición Conjunto de valores Conjunto de las operaciones  ntes de que una varia!le pueda ser referenciada de!e lig#rsele un tipo. 2rotege a las varia!les de operaciones no permitidas. C'equeo de tipos% verifica el uso correcto de las varia!les ipos P!"/"8ii/os% ipos !ase% +on los tipos !ase que est#n descriptos en la definición. "os valores se ligan en la implementación a representación de maquina ipo Loolean valores% true, falseB operaciones% and, or , not

D"8ii/os %o! "l 3s3a!io% Constructores% "os lenguajes permiten al programador mediante la declaración de tipos definir nuevos tipos a partir de los predefinidos y los constructores TADs- o 'ay ligadura por defecto, el programador de!e especificar la representación y las operaciones :. *structura de datos que representan al nuevo tipo. 7utinas usadas para manipular los o!jetos de este nuevo tipo

12

Mo'"#os 9 Es#(#ico- (2ascal, lgol, +imula, :, C, C00, Java, etc) *l tipo se liga en compilación y no puede ser cam!iado. *l c'equeo de tipo tam!in ser# est#tico. 2ueden ser% Ex%l2ci#o% "a ligadura se esta!lece mediante una declaración int $, y !ool  y%<  ilegal y%< not y ilegal I'%l2ci#o% "a ligadura se deduce por reglas *j. Mortran% +i el nom!re comiena con - a  es enteraB si el nom!re comiena con letra  15 ó /1 X es real. +em#nticamente la e$plicita y la implícita son equivalentes, con respecto al tipado de las varia!les, am!os son est#ticos. *l momento en que se 'ace la ligadura y su esta!ilidad es el mismo en los dos lenguajes. I8"!i/o% *l tipo de una e$presión se deduce de los tipos de sus componentes. "enguaje funcional. *j. "isp +i se tiene en un script do!le $ < D E $ +i no est# definido el tipo se infiere do!le % % num  num Mo'"#os 9 Di('ico- (2", +no!ol, +malltal3, 2yt'on, 7u!y, etc). *l tipo se liga en ejecución y puede cam!iarse. Q#s fle$i!le% programación genrica. Q#s costoso en ejecución% mantenimiento de descriptores. 6aria!les polimórficas. C'equeo din#mico. Qenor legi!ilidad L0,ALUE  \rea de memoria ligada a la varia!le. Ti"'%o /" 7i/a (lifetime) o e$tensión% 2eriodo de tiempo que e$iste la ligadura. *l tiempo de vida es el tiempo en que la varia!le est alocada en memoria Alocaci1% Qomento que se reservar la memoria *st#tica% sensi!le a la 'istoria :in#mica  utom#ticaB cuando aparece la declaración *$plícita% a travs de algn constructor  2ersistente% su tiempo de vida no depende de la ejecución% e$iste en el am!iente. rc'ivos 1 Lases de datos

13

R0,ALUE 6alor almacenado en el l1valor de la varia!le. +e interpreta de acuerdo al tipo de la varia!le Mo'"#os% :in#mico% por naturalea ! %< a se copia el r1valor de a en el l1valor de ! a %
14