Preguntas etiquetadas con imperative-programming

La programación funcional tiene una base teórica en el cálculo lambda y la lógica combinatoria . Como alguien involucrado con la computación estadística, considero que estos conceptos son muy útiles para el modelado. ¿Existe una base matemática equivalente de programación imperativa , o simplemente surgió de la aplicación práctica de …

48 imperative-programming  pl.programming-languages 

Probablemente, la aplicación más común de los tipos lineales en PL es usarlos para dar lenguajes que controlen el alias (es decir, un valor lineal tiene un solo puntero, más o menos). Pero hay un ligero desajuste entre este uso y los modelos denotacionales típicos de lógica lineal. IIRC, Benton …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

En la sección "Introducción a los lenguajes de programación" de Anthony Aaby sobre semántica , hace la siguiente observación: Gran parte del trabajo en la semántica de los lenguajes de programación está motivado por los problemas encontrados al tratar de construir y comprender programas imperativos, programas con comandos de asignación. …

19 imperative-programming  semantics  big-picture 

Estoy leyendo La implementación de los lenguajes de programación funcional de Simon Peyton Jones y hay una declaración que me sorprendió un poco (en la página 39): En un grado mucho mayor que el caso de los lenguajes imperativos, los lenguajes funcionales son en gran medida variaciones sintácticas entre sí, …

17 functional-programming  semantics  imperative-programming 

En mi búsqueda de trabajos de investigación sobre sistemas de tipos para lenguajes imperativos, solo encuentro soluciones para un lenguaje con referencias mutables pero sin estructuras de control imperativo genuinas como operadores compuestos, bucles o condicionales. Por lo tanto, no está claro cómo se puede implementar un lenguaje imperativo con …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming