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...
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...
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...
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...
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...
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 é...
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...
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...
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 caso pode...
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 valor...
(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 que tipo de...
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...
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...
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...
Eu nunca usei um depurador que pode executar um programa para trás, mas gostaria. Agora, pergunto-me se há muita evidência e teoria sobre programação executável reversa, quando e por que um programa pode ser executado inversamente ou quando e por que não? Intuitivamente, acho que o computador deve...
Recentemente, deparei-me com este post de Brian McKenna explicando o polimorfismo de linha. Pareceu-me uma ideia maravilhosa, mas então percebi que cheira muito a polimorfismo paramétrico limitado: Com polimorfismo de linha: sum: {x: int, y: int | rho} -> int function sum r = r.x + r.y Com...
Então, eu estou familiarizado com duas estratégias principais de ter polimorfismo de classificação mais alta em um idioma: Polimorfismo no estilo System-F, em que as funções são explicitamente digitadas e a instanciação ocorre explicitamente no tipo de aplicativo. Esses sistemas podem ser...
De acordo com esta descrição da ordem de resolução de método do Python (mro), também conhecida como linearização C3 , o algoritmo pode ser descrito recursivamente da seguinte forma: L(O) = <O> L(C) = <C> + merge(L(B1),..., L(Bn), <B1,...,Bn>) Onde O é a classe da qual toda...
Estou tentando provar algumas declarações sobre a execução em programas Java sob algumas restrições pesadas (basicamente tenho uma conjectura de que, se dois métodos satisfazem um conjunto de restrições para uma determinada entrada, então eles são equivalentes - ou seja, que retornam valor e estado...
A forma normal administrativa é uma representação intermediária do programa na qual cada instrução imediata tem um nome. É usado no GHC e no OCaml . A forma normalizada de K é uma representação intermediária na qual cada instrução consiste em uma atribuição e operação. É usado no MLKit, Min-Caml e...