Julio Csar Nez Lizrraga

Lenguaje Ja!a (programaci n orientada a objetos) Evaluacin expresiones de Definicin de funciones

+Funcin: "onjunto de instrucciones ordenadas de tal manera que permiten la reutilizar cdigo. #stas reciben argumentos y retornan resultados. +Mtodo$ %on &unciones particulares que &orman parte de un objeto. +!a declaracin de &unciones y mtodos en es la siguiente$ especificador tipo nombre (l parmetros) throws excepciones { // instrucciones return valor e!etorno" # +" al ser un lenguaje de programacin estructurado, solo cuneta con &unciones y no mtodos, sinta is$ tipo nombre (parmetros) 0 11 instrucciones return valor*e2etorno3 4

ISC8
Viernes, 7 de marzo de 201

Disciplina de tipos
+ isciplina de tipos esttica$ #s cuando la comprobacin de tipi&icacin se realiza durante la compilacin, y no durante la ejecucin. "omparado con la disciplina de tipos dinmica, el esttico permite que los errores de programacin sean detectados antes.. +$olimorfismo: Permite que una misma &uncin se pueda aplicar a parmetros de di&erentes tipos. +%erencia: es cuando una clase se deriva de otra de manera que e tiende su &uncionalidad. + isciplina de tipos esttica fuerte: "++ no permite violaciones de los tipos de datos, es decir, dado el valor de una variable de un tipo concreto, no se puede usar como si &uera de otro tipo distinto a menos que se (aga una conversin.

Tipos de datos
'yte %(ort int !ong )lota *ouble "(ar 'olean +oid ,bjetos #structuras arrays

+Pueden constar de un valor literal, una invocacin de mtodo, un operador y sus operandos o un nombre simple (variable, miembro de tipo, parmetro de mtodo, espacio de nombres o tipo). +Pueden utilizar operadores que, a su vez, utilizan otras e presiones como parmetros o llamadas a mtodos cuyos parmetros son, a su vez, otras llamadas a mtodos. +!as e presiones numricas pueden producir desbordamientos si el valor es mayor que el valor m imo del tipo del valor.

C (programaci n estructurada)

+-qu. una e presin toma un valor que se determina por el resultado de la ejecucin de las operaciones indicadas, tomando los valores de las variables y constantes y aplicando las prioridades de las operaciones. +%eg/n el tipo de operadores que se emplee en la e presin. #stas

)loat double long double bool struct enteros (con cali&icadores unsigned y signed)$ %(ort

"rolog (programaci n lgica)

se clasi&ican en e presiones aritmticas, que sirven para representar &ormulas matemticas y utilizan los operadores, y las e presiones lgicas, que son las que emplean operadores lgicos. +%e basa principalmente en la lgica de 6orn, que sirve para resolver predicados lgicos. +!a evaluacin de e presiones tambin soporta predicados e tra7lgicos, que consiste bsicamente en e tender el lenguaje para dar acceso a ciertos recursos. +8ambin se permiten e presiones aritmticas, solo que deben cumplir con 9 condiciones$ tener operadores aritmticos simples, si usa &unciones, deben ser &undones aritmticas prede&inidas como cos, sqrt, etc. : la adicin de un predicado e tra7lgico que solicite la evaluacin de dic(as e presiones aritmticas.

+polimorfismo.

5nt !ong

+!a de&inicin de una &uncin esta en los (ec(os que adoptemos para in&erir sobre la base de conocimiento de Prolog, el paso de parmetros debe de&inirse en las reglas a travs de los predicados que los invoquen, ya sea por el mismo o por otro predicado. +Para que los predicados de&inidos como &uncin, no retornen un valor errado, el tipo de dato de la variable del predicado llamador debe ser igual al del predicado llamado. !a recursividad es un mecanismo que da bastante potencia a cualquier lenguaje de programacin.

+*isciplina de tipos dinmica$ prolog permite que variable puede tomar valores de distinto tipo en distintos momentos. !a mayor.a de lenguajes de tipado dinmico son lenguajes interpretados.

#nteros ;,<,9 2eales ;.;, 9.;=;> "adenas ?asd@, ?abc@ !istas A;,@da@, ;.;, BC

"onclusin$ #n base a lo anteriormente e puesto, puedo decir que dependiendo del tipo de programa a realizar, se usar o un paradigma di&erente, que en e&ecto, se traduce a elegir un lenguaje de programacin di&erente para su elaboracin, por ejemplo, en el caso de programas comerciales que entre sus requerimeintos se encuentre un buen nivel de e&iciencia, es mas recomendable que se use #l lenguaje ", ya que gracias a su paradigma estructurado, #% posible a(cer programas

mas e&icieintes que consuman uma menor cantidad de recursos, que em contraste com !a programacion orietnada objertos, que #% #l caso de java, que #% mas /til para (acer programas con um n.vel de abstracion mas complejo, em cambio !a programacio &uncional, como em Prolog, #% mas apta para &ines cient.&icos y de analisis lgico, cosa que no seria igualmente &actible ni com !a programacion estructuura ni com !a programacion orienada a objetos, ya que estas untimas no tienen los mecanismos su&iernetes para (acer muc(as operaciones lgicas com e&iccia. -(ora com respecto a lo e puesto em !a tabla, creo que la progrmacion lgica tiene uma sinta is mas limpi y natural que los demas pardigmas de programacion, com respecto a la disciplina de tipos, tambien conocida como tipado, podemos decir que #l tipado esttico es #l mas e&iciente, ya que se (ace em tiempo de compilacion, no em #l tiempo de ejecucion coomo sucede en #l tipado dinDmico, esto se traduce a um mayor tiempo de compilacion y ejecucion mas rpida em lenguajes com tipado estatico que en tipado dinamoco. )uentes$ (ttp$11vicveryne.blogspot.m 1<EEF1E>1e presiones7lenguaje7c.(tml (ttp$11msdn.microso&t.com1es7es1library1ms;B9;==.asp (ttp$11GGG.lcc.uma.es1Hlopez1progdec1prolog1apuntes1E97e tralogica1e tralogica=pp.pd& (ttp$11GGG.aprenderaprogramar.com1inde .p(pIoptionJcomKcontentLidJ=;M$tipos7de7datos7java7tipos7primitivos7int7 boolean7y7objeto7string7array7o7arreglo7variables7cuEE><;bL5temidJ;FF (ttp$11ejercicioscpp.blogspot.m 1<E;<1EM1tipos7de7datos7en7c.(tml (ttp$11GGG.itescam.edu.m 1principal1sylabus1&pdb1recursos1r;E<F<;.P*) (ttp$11qbit.com.m 1blog1<E;<1E;1;>1tipado7estatico7vs7tipado7dinamico1