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

Estou menos interessado em idiomas em que você pode escrever quase tudo, mas depois é necessário escrever uma prova de que o que você escreveu termina. Estou mais interessado no espaço de design de linguagens inerentemente confinadas a determinadas classes de complexidade por construção. Existe algum tipo de hierarquia teórica …

7 programming-languages  termination 

Eu estava lendo Estrutura e Interpretação de Programas de Computador (SICP), MIT. O que eu entendi é que na linguagem de programação funcional pura, não existe um estado local. SICP, página 230 diz: "A programação sem qualquer uso de atribuições, como fizemos nos dois últimos capítulos deste livro, é conhecida …

7 programming-languages  functional-programming  programming-paradigms 

Existem exemplos de linguagens de computador do mundo real que não são deterministas? Por linguagens de computador eu incluo linguagens de programação, linguagens de marcação, linguagens de consulta, linguagem de modelagem, linguagens de transformação, etc. Por não determinístico, quero dizer que eles não podem ser analisados ​​com gramáticas determinísticas.

7 formal-grammars  programming-languages  nondeterminism 

(Usando a sintaxe Haskell, já que a pergunta é inspirada em Haskell, mas se aplica a sistemas polimórficos gerais de Hindley-Milner, como SML ou Elm). Se eu tiver uma assinatura de tipo f :: a -> [a], qual é a proposição lógica codificada por essa assinatura de tipo? Eu sei …

7 programming-languages  type-theory  functional-programming  curry-howard 

Eu li que a associação de nome atribui algum valor (dados / código / expressão) a um identificador . Atribuição e avaliação parecem fazer a mesma coisa. Isto é confuso. Posso apenas dizer que a variável livre é uma que não recebeu um valor, enquanto a variável vinculada tem seu …

7 terminology  programming-languages  variable-binding 

Estou aprendendo a linguagem de programação Haskell. Pelo que estou lendo, Input / Ouput ( IO ) levanta desafios para a pureza de Haskell, pois, por definição, estamos interagindo com o mundo exterior. Da Wikipedia: Em uma linguagem puramente funcional, como Haskell, as funções não podem ter efeitos colaterais visíveis …

7 programming-languages  functional-programming 

FUNDO: Recentemente, tentei resolver um problema difícil que obtém como entrada uma matriz de números. Para , a única solução que encontrei foi ter um tratamento diferente para cada uma das ordenações dos 3 números. Ou seja, existe uma solução para o caso , outra solução para , etc. (o …

7 complexity-theory  programming-languages  kolmogorov-complexity 

Gostaria de fazer uma pergunta sobre vários valores de retorno, por que esse construto não é preferível em linguagens de programação (dificuldades conceituais e / ou técnicas). Eu ouvi algo sobre quadros de pilha e como eles reservam memória para valor de retorno e valores de retorno variáveis ​​podem tornar …

7 programming-languages  compilers 

Estou procurando uma boa técnica de coleta de lixo para o meu idioma e encontrei este artigo , onde Benjamin Goldberg descreve uma técnica de coleta de lixo para linguagens fortemente tipadas, o que elimina a necessidade de informações de tipo durante o tempo de execução. Resumidamente, isso é feito …

7 programming-languages  compilers  memory-management  empirical-research  garbage-collection 

Existe um bom artigo geral sobre a interpretação ou compilação do REGEXP em linguagens de programação para correspondência de padrões, com ou sem variáveis? Não estou procurando uma explicação rápida sobre a construção de DFAs, mas um artigo real sobre como isso é realmente feito na implementação de linguagens de …

7 programming-languages  compilers  regular-expressions  matching  interpreters 

O termo "perfeição de Turing" foi discutido em várias das aulas de ciência da computação que eu participei. No entanto, nunca tive uma noção intuitiva do que a integridade de Turing realmente exige. Encontrei essa pergunta, mas as respostas são um pouco mais matemáticas do que o que estou procurando. …

7 programming-languages  turing-completeness 

A seguinte matriz ocupa 10.000 slots na memória: a = [0,1,2,3,4,5,6,7,8,9,10,...,10000] Mas pode-se facilmente representar a mesma matriz que: a = {len:10000, get: λ idx -> idx} O que é muito mais compacto. Da mesma forma, existem várias matrizes que podem ser representadas compactamente: a = {a:1000, get: λ idx …

7 algorithms  complexity-theory  formal-languages  programming-languages  data-compression 

Eu acho que a pergunta é auto-suficiente. A sintaxe da linguagem C é completamente definida por meio de gramáticas livres de contexto ou temos construtos de linguagem que podem exigir definições não livres de contexto durante a análise? Um exemplo de construção não CFL que pensei ser a declaração de …

7 context-free  programming-languages  compilers  parsing  c 

Wikipedia : O teorema do programa estruturado [...] afirma que qualquer [...] algoritmo pode ser expresso usando apenas três estruturas de controle. Eles são Executando um subprograma e depois outro subprograma (sequência) Executando um dos dois subprogramas de acordo com o valor de uma expressão booleana (seleção) Executando um subprograma …

7 computability  programming-languages  computation-models 

Eu não sei muito sobre yacc, bison, flex ou lex e, por favor, me corrija se eu estiver errado, mas uma linguagem de programação também é uma máquina de Turing e uma máquina de Turing é definida como a tupla ( Q , Γ , b , Σ , δ,q0 …

7 turing-machines  formal-grammars  programming-languages  computation-models