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...
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,...
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 correcto...
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...
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...
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...
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 los estudiantes...
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...
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...