Preguntas etiquetadas con semantics

A veces escuchamos "Swift no hace GC (rastreo) clásico, usa ARC". Pero no estoy seguro de si hay algo en la semántica de Swift que requiera un recuento de referencias. Parece que uno podría construir su propio compilador Swift y tiempo de ejecución para usar GC de rastreo. Entonces, ¿qué …

9 semantics  garbage-collection 

En el Capítulo 1 de Fundamentos prácticos para lenguajes de programación , el autor menciona que los árboles de sintaxis abstractos están asociados con géneros . Intuitivamente, los tipos son como los tipos, pero me gustaría saber si tienen una definición precisa. Me alegraría si también se proporcionan algunas referencias.

9 terminology  programming-languages  semantics 

Digamos que las listas se definen como List a = Nil | Cons a (List a) Entonces, en Haskell, List x¿cuál es el mayor o menor punto de fijación? Lo pregunto porque el lfp debería excluir listas infinitas (pero puede compilarlas en Haskell), mientras que el gfp debería excluir las …

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

StackOverflow me señaló aquí, por lo que la pregunta podría ser un poco simple. Wikipedia define funciones puras como En la programación de computadoras, una función puede describirse como una función pura si ambas afirmaciones sobre la función tienen: La función siempre evalúa el mismo valor de resultado dados los …

9 terminology  functional-programming  semantics 

Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente le dije que eso nunca funcionaría porque si …

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 

En el cálculo lambda puro, tenemos el conjunto de términos inductivamente definidos (la gramática): e::=x∣λx.e∣e1e2e::=x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Bajo la estrategia de evaluación llamada por valor, tenemos las reglas de inferencia para la reducción beta y las reglas sobre cómo evaluar las aplicaciones (reglas …

8 programming-languages  lambda-calculus  semantics 

Estoy a punto de implementar un lenguaje de dominio específico para la representación de convenciones de aprendizaje social. Parte de la implementación es una descripción formal de un lenguaje: su 'cálculo', símbolos y expresiones lógicas. Mi enfoque sería describir el lenguaje describiendo su gramática, pero también hay conceptos como relaciones, …

8 formal-languages  programming-languages  semantics