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

Costumo trabalhar com lexer / parsers , ao contrário de um combinador de analisador e vejo pessoas que nunca tiveram aula em análise, perguntam sobre a análise de dados binários. Normalmente, os dados não são apenas binários, mas também sensíveis ao contexto. Isso basicamente leva a ter apenas um tipo …

13 programming-languages  compilers  parsers 

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 …

12 programming-languages  functional-programming  haskell 

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 indentação para definir sintaticamente blocos de código. (Veja Instruções …

12 programming-languages  python  syntax 

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 …

12 programming-languages  type-theory  type-checking  software-verification 

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 …

12 programming-languages  lambda-calculus 

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 foi …

12 programming-languages  type-theory 

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 lambda sem tipo é sensível ao contexto. Gostaria de …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

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, …

11 programming-languages  language-design 

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 funcionalidade exata …

11 reference-request  programming-languages  semantics  model-checking 

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 Internet e …

11 programming-languages  performance 

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 têm …

11 programming-languages  object-oriented  abstract-data-types 

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 fixo. Mais especificamente, este artigo …

11 programming-languages  finite-model-theory  fixed-point 

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 programação orientada …

11 terminology  reference-request  programming-languages  object-oriented 

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 …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

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 Wand), mas eles datilografam …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing