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

É teoricamente possível especificar uma linguagem de programação para a qual não existe implementação? Uma linguagem de programação é uma maneira de definir funções. Uma implementação significa um método para executar um determinado programa nesse idioma em uma determinada entrada para a saída da função correspondente ao programa nessa entrada. …

11 formal-languages  computability  programming-languages 

Vindo de um background em C ++, não entendo por que precisamos de tipos / expressões de tipo como cidadão de primeira classe? O único idioma que conheço que suporta esse recurso é o Aldor. Alguém tem alguma literatura sobre tipos como cidadão de primeira classe ou conhece alguns motivos …

10 programming-languages  language-design  types 

Para funções ou cálculos, temos termos como: Determinístico - Determinismo Pure - Pureza Agora, qual é o substantivo correspondente correto para livre de efeitos colaterais ? "Efeito colateral sem efeito"? "Liberdade de efeitos colaterais"? "Não tem efeito colateral"?

10 terminology  programming-languages 

Estou iniciando um curso de graduação em ciência da computação no próximo outono, mas não consigo entender o cálculo λ no contexto da programação funcional. Posso estar interpretando mal isso completamente, mas, com base nessa definição da Stanford Encyclopedia of Philosophy, é apenas mais uma notação para funções. Se é …

10 programming-languages  lambda-calculus 

O que são funções anônimas (lambda)? Qual é a definição formal de uma função anônima em uma linguagem de programação funcional? Em meus termos simples, quando estou programando no esquema / lisp, eu diria que uma função anônima (lambda) é uma função que não está vinculada a um identificador. É …

10 logic  programming-languages  lambda-calculus  functional-programming 

Existem linguagens de programação (ou lógica) que podem implementar (ou expressar) uma função se e somente se for uma função bijetiva computável?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Estou curioso. Eu tenho trabalhado nesse tipo de dados no OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Que pode ser manipulado usando funções recursivas de tipo explícito (um recurso que foi …

10 logic  programming-languages  coq  inductive-datatypes 

Ao ler um artigo descrevendo as diferenças de OO e programação funcional , deparei-me com indicadores de função. Já faz um tempo desde que terminei meu curso de Ciência da Computação (2003) e, portanto, procurei indicadores para refrescar minha memória. Ponteiros são variáveis ​​que contêm uma referência a um endereço …

10 terminology  programming-languages 

Sou estudante de ciência da computação. Quero criar minha própria linguagem de programação (uma linguagem básica com poucas instruções). Eu sei como fazer um analisador sintático, eu já fiz isso no Perl. Em um artigo, li algo sobre o compilador, um compilador é feito por si só. Por exemplo, o …

10 programming-languages  compilers 

A defuncionalização é uma transformação descrita pela primeira vez em 1972 por John C. Reynolds para eliminar funções de ordem superior. Existem transformações alternativas (mais eficientes?) Para eliminar funções de ordem superior?

10 programming-languages  functional-programming 

Normalmente, vejo que na representação semântica operacional estrutural do loop while, o estado do programa não muda: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Para mim, isso não é intuitivo, se o estado …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

Estou estudando técnicas de implementação para linguagens de programação e recentemente me deparei com pilhas de espaguete, que são supostamente uma boa opção para um modelo de estilo de passagem continuada (dado seu uso em, por exemplo, Scheme e SML / NJ ). Por uma questão de simplicidade, vamos considerar …

9 data-structures  programming-languages  continuations 

Em Conceitos em linguagens de programação , John Mitchell escreve que a verificação de tipo estático é necessariamente conservadora (excessivamente rigorosa) por causa do problema de parada. Ele dá como exemplo: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Alguém pode fornecer uma resposta não artificial que realmente seria uma preocupação prática? …

9 programming-languages  compilers  type-checking 

No capítulo 1 de Fundamentos práticos para linguagens de programação , o autor menciona que as árvores de sintaxe abstratas estão associadas a tipos . Intuitivamente, as classificações são como tipos, mas eu gostaria de saber se elas têm uma definição precisa. Ficaria feliz se algumas referências também forem fornecidas.

9 terminology  programming-languages  semantics 

Penso que no algoritmo de Peterson para exclusão mútua , se o primeiro processo para entrar na seção crítica morresse ou fosse cancelado, o outro processo entraria em loop para sempre, esperando para entrar na seção crítica. Na figura, se o processo 1 for parado, o restante dos processos por …

9 programming-languages  concurrency  mutual-exclusion