Acho que estou bastante confuso sobre o que é chamado de cálculo e o que é chamado de linguagem de programação. Costumo pensar, e pode ter sido dito, que um cálculo é um sistema formal de raciocínio sobre a equivalência de programas. Os programas têm uma semântica operacional especificada por uma...
Recentemente, percebi que existe algum tipo de relação entre a teoria de tipos russelliana e os sistemas de tipos, como encontrado, por exemplo, em Haskell. Na verdade, algumas das notações para tipos em Haskell parecem ter precursores na teoria dos tipos. Mas, IMHO, a motivação de Russell em 1908...
No wiki do haskell, há o seguinte exemplo de uso condicional da mônada de E / S (veja aqui) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Observe que, neste exemplo, a definição de IO aé adotada RealWorld -> (a,...
Adoro tudo o que é tempo de compilação e adoro a idéia de que, depois que você compila um programa, muitas garantias são feitas sobre sua execução. De um modo geral, um sistema de tipo estático (Haskell, C ++, ...) parece oferecer garantias mais fortes em tempo de compilação do que qualquer sistema...
Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Computer Science Stack Exchange. Fechado há 10 meses . O Python usa famosa...
Estou tentando entender gramáticas sensíveis ao contexto. Eu entendo por que idiomas como {ww∣w∈A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} não são livres de contexto, mas o que eu gostaria de saber se uma linguagem semelhante ao cálculo...
Em primeiro lugar, gostaria de dizer que meu texto abaixo pode conter erros, portanto, sinta-se à vontade para apontar quaisquer erros na minha formulação da pergunta. Considere um cálculo lambda sem tipo com booleanos e instruções if cujos termos são dados por esta sintaxe: t ::= v | t t | if t...
Estou tentando obter uma visão geral da importância do ponto menos fixo (lfp) na análise de programas. Por exemplo, a interpretação abstrata parece usar a existência de lfp. Muitos trabalhos de pesquisa sobre análise de programas também se concentram fortemente em encontrar o ponto menos...
Existe alguma ferramenta para prototipar uma semântica da linguagem de programação e um sistema de tipos que também permita algum tipo de verificação de modelo de propriedades padrão, como a solidez do tipo? Estou perguntando isso, porque estou lendo um livro sobre o Alloy e ele fornece a...
Uma resposta sobre Programmers.SE caracteriza um ensaio de Cook ( Objetos não são ADTs ) como dizendo Os objetos se comportam como uma função característica sobre os valores de um tipo, e não como uma álgebra. Os objetos usam abstração procedural em vez de abstração de tipo ADTs geralmente...
Eu estou trabalhando em uma linguagem baseada em expressão da genealogia ML, então ela naturalmente precisa de inferência de tipo> :) Agora, estou tentando estender uma solução baseada em restrições para o problema de inferir tipos, com base em uma implementação simples no EOPL (Friedman e...
Ao criar um cliente para uma API da web em C #, deparei-me com um problema referente a nullum valor em que representaria duas coisas diferentes: nada , por exemplo, um foopode ou não ter umbar desconhecido : por padrão, a resposta da API inclui apenas um subconjunto de propriedades, é necessário...
Eu preciso de uma definição concisa do "estado de um objeto" na programação orientada a objetos (para um artigo). Por cerca de metade do dia, procurei um artigo que pudesse citar sobre esse tópico, mas não o encontrei. Todos os artigos que encontrei foram principalmente artigos gerais sobre...
Por que os idiomas de alto nível aparentemente nunca alcançam idiomas de baixo nível em termos de velocidade? Exemplos de linguagens de alto nível seriam Python, Haskell e Java. Linguagens de baixo nível seriam mais difíceis de definir, mas digamos C. Comparações podem ser encontradas em toda a...
É 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...
No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
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
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 pelos...
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...
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...