Perguntas com a marcação «imperative-programming»

A programação funcional tem uma base teórica no cálculo lambda e na lógica combinatória . Como alguém envolvido com computação estatística, acho esses conceitos muito úteis para modelagem. Existe uma base matemática equivalente de programação imperativa ou ela simplesmente surgiu da aplicação prática de hardware em linguagem de máquina e …

48 imperative-programming  pl.programming-languages 

Provavelmente, a aplicação mais comum de tipos lineares no PL é usá-los para fornecer linguagens que controlam o aliasing (ou seja, um valor linear tem um único ponteiro para ele, mais ou menos). Mas há uma pequena incompatibilidade entre esse uso e os modelos denotacionais típicos da lógica linear. IIRC, …

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

Na seção "Introdução às linguagens de programação" de Anthony Aaby , sobre Semântica , ele faz a seguinte observação: Grande parte do trabalho na semântica das linguagens de programação é motivada pelos problemas encontrados na tentativa de construir e entender programas imperativos - programas com comandos de atribuição. Como o …

19 imperative-programming  semantics  big-picture 

Estou lendo A Implementação de Linguagens de Programação Funcional, de Simon Peyton Jones, e há uma declaração que me surpreendeu um pouco (na página 39): Em uma extensão muito maior do que é o caso das linguagens imperativas, as linguagens funcionais são amplamente variações sintáticas umas das outras, com relativamente …

17 functional-programming  semantics  imperative-programming 

Na minha busca por artigos de pesquisa sobre sistemas de tipos para linguagens imperativas, só encontro soluções para uma linguagem com referências mutáveis, mas sem estruturas de controle imperativas genuínas, como operadores compostos, loops ou condicionais. Portanto, não está claro como uma linguagem imperativa com inferência parcial de tipo, como …

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