Perguntas com a marcação «semantics»

Às vezes ouvimos "Swift não faz GC clássico (rastreamento), ele usa ARC". Mas não tenho certeza se há algo na semântica do Swift que exija contagem de referência. Parece que é possível criar o próprio compilador e tempo de execução Swift para usar o rastreamento de GC. Então, o que …

9 semantics  garbage-collection 

No capítulo 1 de Fundamentos práticos para linguagens de programação , o autor menciona que as árvores de sintaxe abstratas estão associadas a tipos . Intuitivamente, as classificações são como tipos, mas eu gostaria de saber se elas têm uma definição precisa. Ficaria feliz se algumas referências também forem fornecidas.

9 terminology  programming-languages  semantics 

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 

StackOverflow me apontou aqui, então a pergunta pode ser um pouco nos termos de um leigo. A Wikipedia define funções puras como Na programação de computadores, uma função pode ser descrita como uma função pura se ambas as instruções sobre a função se mantiverem: A função sempre avalia o mesmo …

9 terminology  functional-programming  semantics 

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 

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 

Estou prestes a implementar uma linguagem específica de domínio para representação de convenções de aprendizagem social. Parte da implementação é uma descrição formal de uma linguagem - seu 'cálculo', símbolos e expressões lógicas. Minha abordagem seria descrever a linguagem descrevendo sua gramática, mas também existem conceitos como relações, diálogos, expectativas …

8 formal-languages  programming-languages  semantics 

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 após execução são idênticas). Para …

7 programming-languages  semantics  java  operational-semantics 

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 polimorfismo paramétrico …

7 programming-languages  semantics 

Ao transformar termos de um idioma para outro, a propriedade intuitivamente desejada é a preservação da semântica (como usada, por exemplo, aqui para uma transformação do CPS): s⇓v⟹c(s)⇓c(v)s⇓v⟹c(s)⇓c(v) s \Downarrow v \implies c(s) \Downarrow c(v) Estou um pouco preocupado, no entanto, ao conciliar isso com os termos clássicos correção (ou …

7 terminology  logic  compilers  semantics 

Eu tenho uma pergunta sobre herança em linguagens de programação OO do tipo Java. Ele surgiu na minha classe de compilador, quando expliquei como compilar métodos e sua invocação. Eu estava usando Java como exemplo de linguagem de origem para compilar. Agora considere este programa Java. class A { public …

7 programming-languages  semantics  typing  object-oriented  java