Soy estudiante de informática. Quiero crear mi propio lenguaje de programación (un lenguaje básico con pocas instrucciones). Sé cómo hacer un analizador sintáctico, ya lo hice en Perl. En un artículo, leí algo sobre el compilador, un compilador se hace en sí mismo. Por ejemplo, el compilador de C...
Para funciones o cálculos tenemos términos como: Determinista - determinismo Puro - Pureza Ahora, ¿cuál es el nombre correspondiente correcto para sin efectos secundarios ? ¿"Libre de efectos secundarios"? ¿"Libertad de efectos secundarios"? ¿"No tiene efectos
Mientras leía un artículo que describía las diferencias en OO y la programación funcional, me encontré con punteros de función. Ha pasado un tiempo desde que completé mi licenciatura en Ciencias de la Computación (2003), así que busqué punteros para refrescar mi memoria. Los punteros son variables...
Viniendo de un entorno de C ++, no entiendo por qué uno necesita tipos / expresiones de tipo como ciudadano de primera clase. El único idioma que sé que admite esta función es Aldor. ¿Alguien tiene alguna literatura sobre tipos como ciudadano de primera clase o sabe algunas razones por las que es...
La desfuncionalización es una transformación descrita por primera vez en 1972 por John C. Reynolds para eliminar las funciones de orden superior. ¿Hay transformaciones alternativas (¿más eficientes?) Para eliminar las funciones de orden
Creo que en el algoritmo de Peterson para la exclusión mutua , si el primer proceso para ingresar a la sección crítica fuera a morir o cancelarse, el otro proceso se repetiría para siempre, esperando ingresar a la sección crítica. En la imagen, si el proceso 1 se detiene, el resto de los procesos...
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...
¿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
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...
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...
En Conceptos en lenguajes de programación , John Mitchell escribe que la verificación de tipos estáticos es necesariamente conservadora (demasiado estricta) debido al problema de detención. Él da como ejemplo: if (complicated-expression-that-could-run-forever) then (expression-with-type-error)...
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
Estoy buscando técnicas de implementación para lenguajes de programación, y recientemente encontré pilas de espagueti, que supuestamente son una buena opción para un modelo de estilo de paso de continuación (dado su uso, por ejemplo, en Scheme y SML / NJ ). En aras de la simplicidad, consideremos...
Por lo general, veo que en la representación semántica operacional estructural para el ciclo while, el estado del programa no cambia: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while...
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 : *) -> λ (Succ...
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 que: Type Safety...
Las máquinas de Turing tienen un alfabeto de símbolos formales , un estado y una descripción basada en reglas de transición de cómo se realiza un cálculo. El Modelo de actor a veces se menciona como un modelo computacional más poderoso que las máquinas de Turing (no en lo que puede calcular, sino...
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...
¿Qué significa cuando un argumento de una función se llama argumento ficticio ? No he encontrado este término fuera de Fortran, ¿es un término general en informática? ¿Cuáles serían ejemplos de argumentos pasados como ficticios y no pasados como ficticios? Encontré esta definición , que no...
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...