Programación a nivel de valores

Na Galipedia, a Wikipedia en galego.

A programación a nivel de valores é uns dos dous paradigmas contrastantes identificados por John Backus no seu traballo sobre os Programas como obxetos matemáticos, sendo o outro a programación a nivel funcional. O termo inicialmente utilizado por Backus foi o de programación a nivel de obxectos, pero na actualidade ese termo traería confusión coa programación orientada a obxetos.

Características[editar | editar a fonte]

Os programas a nivel de valores describen como combinar diferentes valores (por exemplo, números, caracteres, etc.) para formar novos valores ata obter o resultado final. Os novos valores obtéñense como resultado da aplicación de operacións que transforman valores noutros valores, por exemplo, a suma, a concatenación, o investimento de matrices, etc.

As linguaxes que seguen o estilo de Von Neumann son de nivel de valores: as expresións á dereita dunha asignación teñen por obxecto a creación do novo valor a asignar.

Relación cos tipos de datos[editar | editar a fonte]

O enfoque de programación a nivel de valores préstase para o estudo dos valores baixo as operacións de formación de valores e das súas propiedades alxebraicas.

Relación coas linguaxes baseadas no cálculo lambda[editar | editar a fonte]

Segundo este punto de vista, as linguaxes baseadas no cálculo lambda (talles como Lisp, ISWIM, e Scheme) son linguaxes a nivel de valores, aínda que o seu deseño non os restrinxe a iso.

Por exemplo, nunha definición típica no cálculo lambda da forma f = λx.E a variable x así como a expresión E denotan valores. Tipicamente, E é unha expresión que aplica funcións de formación de valores a variables e constantes.

Punto de vista oposto[editar | editar a fonte]

Pola súa banda, os partidarios da programación funcional consideran ás linguaxes baseadas no cálculo lambda como contentivos de ambos os paradigmas, dado que tanto as operacións de formación de valores como as operacións de construción de programas exprésanse no mesmo formalismo, deixando ao usuario escoller que partes do seu programa deben ser escritas nun paradigma ou no outro.

Véxase tamén[editar | editar a fonte]

Outros artigos[editar | editar a fonte]