Lenguajes de programación, en particular, centrándose en su semántica.
He estado aprendiendo algunas partes de la teoría de categorías. Ciertamente es una forma diferente de ver las cosas. (Resumen muy aproximado para aquellos que no lo han visto: la teoría de categorías ofrece formas de expresar todo tipo de comportamiento matemático únicamente en términos de...
Los matemáticos a veces se preocupan por el Axioma de Elección (AC) y el Axioma de Determinación (AD). Axioma de elección : Dado cualquier colección de conjuntos no vacíos, hay una función f que, dado un conjunto S en C , devuelve un miembro de S .CC{\cal C}fffSSSCC{\cal C}SSS Axioma de...
La programación funcional tiene una base teórica en el cálculo lambda y la lógica combinatoria . Como alguien involucrado con la computación estadística, considero que estos conceptos son muy útiles para el modelado. ¿Existe una base matemática equivalente de programación imperativa , o...
En un hilo diferente , Andrej Bauer definió la semántica denotacional como: El significado de un programa es una función de los significados de sus partes. Lo que me molesta de esta definición es que no parece distinguir lo que comúnmente se considera semántica denotacional de lo que...
¿Hay algún beneficio en el cálculo de la complejidad temporal de un algoritmo que utiliza cálculo lambda? ¿O hay otro sistema diseñado para este propósito? Cualquier referencia sería
La complejidad cada vez mayor de los programas de computadora y la posición cada vez más crucial que tienen las computadoras en nuestra sociedad me hacen preguntarme por qué todavía no usamos colectivamente lenguajes de programación en los que tenga que dar una prueba formal de que su código...
Pregúntele incluso a alguien con experiencia en informática qué es una expresión regular, y es probable que la respuesta vaya más allá de la restricción de estar al alcance de un autómata de estado finito. Por ejemplo, la "expresión regular" /^1?$|^(11+?)\1+$/ creado por la destacada...
La mayoría de los algoritmos conocidos son de primer orden, en el sentido de que su entrada y salida son datos "simples". Algunos son de segundo orden de una manera trivial, por ejemplo, la clasificación, las tablas hash o las funciones de mapa y plegado: están parametrizados por una función, pero...
No creo entender las clases de tipos. Leí en alguna parte que pensar que las clases de tipos son "interfaces" (de OO) que implementa un tipo es incorrecto y engañoso. El problema es que tengo problemas para verlos como algo diferente y cómo eso está mal. Por ejemplo, si tengo una clase de tipo (en...
Es imposible escribir un lenguaje de programación que permita todas las máquinas que se detienen en todas las entradas y no en otras. Sin embargo, parece fácil definir dicho lenguaje de programación para cualquier clase de complejidad estándar. En particular, podemos definir un lenguaje en el que...
En el espíritu de algunas discusiones generales como esta , estoy abriendo este hilo con la intención de reunir opiniones sobre cuáles son los desafíos abiertos y los temas candentes en la investigación sobre lenguajes de programación . Espero que la discusión pueda traer a la superficie opiniones...
He estado leyendo " Semántica con aplicaciones " de Nielson & Nielson , y realmente me gusta el tema. Me gustaría tener un libro más sobre semántica del lenguaje de programación, pero realmente solo puedo obtener uno. Eché un vistazo al libro de Turbak / Gifford , pero es demasiado largo;...
He estado leyendo algunos artículos sobre tipos dependientes y contratos de programación. De la mayoría de lo que he leído, parece que los contratos se comprueban dinámicamente y los tipos dependientes se comprueban estáticamente. Ha habido algunos documentos que me han hecho pensar que es posible...
Esta es una pregunta de seguimiento para ¿Cuál es la diferencia entre pruebas y programas (o entre proposiciones y tipos)? ¿Qué programa correspondería a una prueba no constructiva (clásica) de la forma ? (Suponga que es una relación decidible interesante, por ejemplo, -th TM no se detiene en...
Soy un principiante trabajando en métodos que prueban la equivalencia del programa. He leído algunos artículos sobre la definición de relaciones lógicas o simulaciones para demostrar que dos programas son equivalentes. Pero estoy bastante confundido acerca de estas dos técnicas. Solo sé que las...
¿Hay algún lenguaje de programación (funcional) donde todas las funciones tengan una forma canónica? Es decir, cualquiera de las dos funciones que devuelven los mismos valores para todo el conjunto de entrada se representa de la misma manera, por ejemplo, si f (x) devolvió x + 1 yg (x) devolvió x +...
Como proyecto paralelo, estoy escribiendo un lenguaje usando Python. Comencé usando un clon de flex / bison llamado Ply, pero estoy enfrentando los límites en el poder de lo que puedo expresar con ese estilo de gramática, y no estoy interesado en hackear mi lenguaje debido a un desajuste de...
Recientemente estoy estudiando Haskell y lenguajes de programación. ¿Alguien podría recomendar algunos libros sobre teoría de
Si seguimos el libro (o cualquier otra versión de la especificación del lenguaje si lo prefiere), ¿cuánta potencia computacional puede tener una implementación de C? Tenga en cuenta que "implementación C" tiene un significado técnico: es una instanciación particular de la especificación del...
Me interesa saber por qué los autores de libros sobre teoría de los lenguajes de programación y teoría de los tipos adoran los números naturales (por ejemplo, J. Mitchell, Fundamentos para los lenguajes de programación y B. Pierce, Tipos y lenguajes de programación). La descripción del cálculo...