Creo que estoy bastante confundido acerca de lo que se llama cálculo y lo que se llama lenguaje de programación. Tiendo a pensar, y podría haberme dicho, que un cálculo es un sistema formal para razonar sobre la equivalencia de los programas. Los programas tienen una semántica operativa...
Me encanta todo lo que es tiempo de compilación y me encanta la idea de que una vez que compilas un programa, se hacen muchas garantías sobre su ejecución. En términos generales, un sistema de tipo estático (Haskell, C ++, ...) parece ofrecer garantías de tiempo de compilación más sólidas que...
En el wiki de haskell hay el siguiente ejemplo de uso condicional de la mónada IO (ver aquí) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Tenga en cuenta que en este ejemplo, la definición de IO ase toma RealWorld ->...
Estoy tratando de entender las gramáticas sensibles al contexto. Entiendo por qué a los idiomas les gusta { w w ∣ w ∈ A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} { anortesinorteCnorte∣ n ∈ N }{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} no están libres de contexto, pero me gustaría saber si un...
Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que esté en el tema de Computer Science Stack Exchange. Cerrado hace 10 meses . Python usa muy bien la...
Recientemente me di cuenta de que hay algún tipo de relación entre la teoría de los tipos de Russell y los sistemas de tipos, como se encuentra, por ejemplo, en Haskell. En realidad, parte de la notación de tipos en Haskell parece tener precursores en la teoría de tipos. Pero, en mi humilde...
En primer lugar, me gustaría decir que mi texto a continuación puede contener errores, así que siéntase libre de señalar cualquier error en mi formulación de la pregunta. Considere un cálculo lambda sin tipo con booleanos y sentencias if cuyos términos están dados por esta sintaxis: t ::= v | t...
Al crear un cliente para una API web en C #, me encontré con un problema relacionado nullcon un valor en el que representaría dos cosas diferentes: nada , por ejemplo, un foopuede o no tener unbar desconocido : por defecto, la respuesta API solo incluye un subconjunto de propiedades, debe indicar...
Estoy tratando de tener una idea general de la importancia del punto menos fijo (lfp) en el análisis del programa. Por ejemplo, la interpretación abstracta parece utilizar la existencia de lfp. Muchos trabajos de investigación sobre análisis de programas también se centran principalmente en...
Necesito una definición concisa del "estado de un objeto" en la programación orientada a objetos (para un artículo). Durante aproximadamente medio día busqué un documento que pueda citar sobre este tema, pero no pude encontrar uno. Todos los documentos que encontré eran principalmente documentos...
¿Existe alguna herramienta para la creación de prototipos de una semántica de lenguaje de programación y un sistema de tipos y que también permita algún tipo de verificación de modelo de propiedades estándar, como la solidez de tipo? Pregunto esto, porque estoy leyendo un libro sobre Alloy y...
En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...
Una respuesta sobre Programmers.SE caracteriza un ensayo de Cook (Los objetos no son ADT ) como diciendo Los objetos se comportan como una función característica sobre los valores de un tipo, más que como un álgebra. Los objetos usan abstracción de procedimiento en lugar de abstracción de...
¿Es teóricamente posible especificar un lenguaje de programación para el cual no podría existir una implementación? Un lenguaje de programación es una forma de definir funciones. Una implementación significa un método para ejecutar un programa dado en ese lenguaje en una entrada dada a la salida de...
Estoy trabajando en un lenguaje basado en expresiones de genealogía ML, por lo que naturalmente necesita inferencia de tipos> :) Ahora, estoy tratando de extender una solución basada en restricciones al problema de inferir tipos, basada en una implementación simple en EOPL (Friedman y Wand),...
¿Por qué los lenguajes de alto nivel aparentemente nunca llegan a los de nivel inferior en términos de velocidad? Ejemplos de lenguajes de alto nivel serían Python, Haskell y Java. Los lenguajes de bajo nivel serían más difíciles de definir, pero digamos C. Las comparaciones se pueden encontrar en...
¿Existen lenguajes de programación (o lógica) que puedan implementar (o expresar) una función si y solo si es una función biyectiva computable? ff:N→Nf:N→Nf:\mathbb{N}\to
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...
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...
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