Ok, el concepto más importante y el que más me cuesta.
Mis queridos ayudantes paradigmáticos que andan dando vueltas por el foro. Sólo encontré una solución entendible (la de Imakuni) que me ayudó un poco a definir formalmente qué es declaratividad.
Alguien más podrá ayudarme? Se agradecen las intenciones
.gif "=)")
Hola!
No soy ayudante de paradigmas pero estoy preparando el final para este sábado jajaj, escribo más o menos lo que se:
Una solución es más declarativa que otra cuando tiene menos detalle sobre el algoritmo, y se delega al motor la manera de resolver (y a uno no le interesa de qué manera el motor lo termina resolviendo).
Es decir, uno al ser declarativo se centra en el "qué" y no en el "cómo".
Cuánto menos detalle algorítmico tiene la solución, más declarativa es.
A ver por ejemplo, si tenemos el siguiente requerimiento: "dada una lista de números filtrar los que son pares".
Si lo pensamos en un lenguaje imperativo, la solución en pseudocódigo sería algo así:
(partiendo de la base de que tenemos un vector con número cargados por ejemplo)
contador2:=0
for i=1 to finVector
if (vector[i] mod 2 = 0) {vectorConLosPares[contador2]:=vector[i]; contador2:=contador2 + 1}
Sería una cosa medio engorrosa, y como programadores le tenemos que dar mucha bola al algoritmo, manejando contadores, y estructuras de bajo nivel.
En cambio si lo pensamos en un lenguaje del paradigma funcional como Haskell, la solución es esta:
pares unaLista = filter even unaLista
ó
pares unaLista = [x | x<-unaLista, even x]
Como podés notar, la solución en Haskell, es mucho más declarativa que la solución en un lenguaje imperativo.
A mi no me importa cómo el motor de Haskell termina resolviendo el filter o la lista por comprensión en el segundo caso. Seguramente haya enmascarados muchos contadores, saltos condicionales, y demás cosas de bajo nivel, pero a mi no me interesa.
Espero que te haya servido!!
Gracias, muchas gracias Guidok.
Si vas el sábado de seguro nos vamos a encontrar allá
(lo de ayudantes iba para los que ayudan, no para los que ejercen como ayudantes en la facu, je
)