Preguntas etiquetadas con programming-languages

He estado tratando de separar las definiciones de seguridad de tipo y solidez de tipo y me lo estoy pasando muy bien. Le pregunté a un profesor recientemente y después de pensar un poco me dijo que realmente no había ninguna diferencia. Sin embargo, después de leer esto , parece …

9 programming-languages  type-theory  type-checking 

Suponga que extiende el cálculo de construcciones con "agujeros", es decir, piezas de código incompletas que aún no completó. Me pregunto si hay un algoritmo para llenar esos roles automáticamente. Por ejemplo (usando la sintaxis de Morte ): Caso A: λ (pred : ?) -> λ (Nat : *) -> …

9 machine-learning  programming-languages  unification 

String es una clase inmutable en Java. Una clase inmutable es simplemente una clase cuyas instancias no pueden modificarse. ¿Por qué el lenguaje de programación Java elige hacer que los objetos de clase String sean inmutables?

9 programming-languages  language-design 

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 

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 

¿Es posible usar tipos dependientes en la implementación existente de Typed Racket ? (es decir, ¿existen en él?) ¿Es razonablemente posible implementar un sistema de tipos dependientes usando Typed Racket?

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

Me gustaría aprender más sobre la programación concatenante a través de la creación de un lenguaje pequeño y simple, basado en la pila y siguiendo el paradigma de la concatenación. Desafortunadamente, no he encontrado muchos recursos relacionados con los lenguajes concatenantes y su implementación, así que discúlpeme de antemano por …

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

Estoy leyendo el lenguaje de programación Rust y encontré el siguiente pasaje: Recuerde que escribir en una estructura no es una operación atómica, y muchas funciones como vec.push()pueden reasignarse internamente y causar un comportamiento inseguro, por lo que incluso la monotonicidad puede no ser suficiente para justificar UnsafeCell Simplemente apareció …

8 programming-languages  synchronization 

No estoy seguro de si es el lugar correcto para esta pregunta. Perdón si te vas un poco fuera de tema. Elegir un lenguaje adecuado para el primer curso de programación es una de las cosas más importantes que todo maestro / profesor relacionado debe tener en cuenta; especialmente si …

8 algorithms  programming-languages  education 

Pregunta: ¿Hay algún texto introductorio en lenguaje formal o teoría del lenguaje de programación que discuta cómo aplicarlo al estudio de la notación óptima? En particular, estoy interesado en aprender qué son los lenguajes de pila, los árboles de análisis y los índices, y cómo predecir cuándo un cierto tipo …

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

El análisis de flujo de datos funciona sobre un gráfico de flujo de control. Cuando un idioma considerado admite excepciones, el gráfico de flujo de control puede explotar. ¿Cuáles son las técnicas estándar para lidiar con esta explosión? ¿Podemos ignorar los bordes inducidos por la excepción? Los análisis de flujo …

8 programming-languages  program-optimization  software-verification 

Estaba leyendo el artículo Conceptos fundamentales en lenguajes de programación de C. Strachey el otro día, en el que leía algo que me resultaba bastante extraño. Citando directamente (con la parte extraña resaltada por mí): Frente a la situación tal como existe hoy, donde existe un método generalmente conocido para …

8 formal-grammars  programming-languages  syntax 

Digamos que quería crear mi propio lenguaje de programación. Suponiendo que he tomado todas las decisiones sobre cómo quiero que se vea y actúe, ¿solo necesito escribir un compilador para ello? Por ejemplo, ¿el código Java de alto nivel no es solo texto y este texto está en el formato …

8 programming-languages  compilers 

Estoy trabajando en mi propio lenguaje de programación con fines educativos, y me he encontrado con un pequeño problema. Hay algunas soluciones diferentes para ello, pero todas parecen poco elegantes, y por lo que entiendo, innecesarias. Pero leyendo los libros que tengo y las búsquedas en Google, no puedo encontrar …

8 programming-languages  loops  language-design 

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