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

Eu tenho tentado separar as definições de segurança de tipo e solidez de tipo e estou me divertindo muito. Perguntei recentemente a um professor e, depois de pensar um pouco, ele disse que realmente não havia diferença. No entanto, depois de ler isso , parece que: O Type Safety é …

9 programming-languages  type-theory  type-checking 

Suponha que você estenda o Cálculo de construções com "furos" - ou seja, trechos incompletos de código que você ainda não preencheu. Gostaria de saber se existe um algoritmo para preencher essas funções automaticamente. Por exemplo (usando a sintaxe de Morte ): Caso A: λ (pred : ?) -> λ …

9 machine-learning  programming-languages  unification 

String é uma classe imutável em Java. Uma classe imutável é simplesmente uma classe cujas instâncias não podem ser modificadas. Por que a linguagem de programação Java escolhe tornar objetos da classe String imutáveis?

9 programming-languages  language-design 

Digamos que as listas sejam definidas como List a = Nil | Cons a (List a) Então, em Haskell, List xo maior ou o menos fixo? Estou perguntando porque o lfp deve excluir listas infinitas (mas você pode construí-las em Haskell), enquanto o gfp deve excluir as finitas.

9 programming-languages  type-theory  functional-programming  semantics  category-theory 

Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a ele que nunca funcionaria, porque …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

É possível usar tipos dependentes na implementação existente do Typed Racket ? (ou seja, eles existem nele?) É razoavelmente possível implementar um sistema de tipos dependentes usando raquete digitada?

9 programming-languages  typing  type-checking  dependent-types  lisp 

Eu gostaria de aprender mais sobre programação concatenativa através da criação de uma pequena linguagem simples, baseada na pilha e seguindo o paradigma concatenativo. Infelizmente, não encontrei muitos recursos relacionados a linguagens concatenativas e sua implementação; portanto, desculpe-me antecipadamente por minha possível ingenuidade. Portanto, defini minha linguagem como uma sequência …

8 logic  programming-languages  compilers  type-theory  type-checking 

Estou lendo a Linguagem de programação Rust e encontrei a seguinte passagem: Lembre-se de que escrever em uma estrutura não é uma operação atômica, e muitas funções como vec.push()podem se realocar internamente e causar comportamento inseguro; portanto, mesmo a monotonicidade pode não ser suficiente para justificar UnsafeCell Ele apareceu do …

8 programming-languages  synchronization 

Não tenho certeza se é o lugar certo para esta pergunta. Desculpe se for um pouco fora de tópico. A escolha de um idioma adequado para o primeiro curso de programação é uma das coisas mais importantes que todo professor / professor relacionado deve ter em mente; especialmente se os …

8 algorithms  programming-languages  education 

Pergunta: Existem textos introdutórios na linguagem formal ou na teoria da linguagem de programação que discutam como aplicá-la ao estudo da notação ideal? Em particular, estou interessado em aprender o que são linguagens de pilha, árvores de análise e índices e como prever quando um determinado tipo de notação levará …

8 formal-languages  reference-request  formal-grammars  programming-languages 

A análise de fluxo de dados funciona sobre um gráfico de fluxo de controle. Quando um idioma em consideração suporta exceções, o gráfico de fluxo de controle pode explodir. Quais são as técnicas padrão para lidar com essa explosão? Podemos ignorar profundamente as arestas induzidas pela exceção? As análises de …

8 programming-languages  program-optimization  software-verification 

Eu estava lendo o artigo Conceitos Fundamentais em Linguagens de Programação, de C. Strachey outro dia, onde li algo que era bastante estranho para mim. Citando diretamente (com a parte estranha destacada por mim): Confrontados com a situação, uma vez que existe hoje em dia, onde existe um método geralmente …

8 formal-grammars  programming-languages  syntax 

Digamos, eu queria criar minha própria linguagem de programação. Supondo que eu tomei todas as decisões sobre como eu quero que pareçam e ajam, eu só preciso escrever um compilador para isso? Por exemplo, o código Java de alto nível não é apenas texto e esse texto está no formato …

8 programming-languages  compilers 

Estou trabalhando em minha própria pequena linguagem de programação para fins educacionais e me deparei com um pouco de problema. Existem algumas soluções diferentes para isso, mas todas elas parecem deselegantes - e pelo que entendi, desnecessárias. Mas, lendo os livros que tenho e as pesquisas no Google, não consigo …

8 programming-languages  loops  language-design 

No cálculo lambda puro, temos o conjunto de termos definido indutivamente (a gramática): e : : = x | X x . e ∣e1e2e:: =x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Sob a estratégia de avaliação de valor por chamada, temos as regras de inferência para redução …

8 programming-languages  lambda-calculus  semantics