Preguntas etiquetadas con programming-languages

¿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 la función correspondiente …

11 formal-languages  computability  programming-languages 

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 …

10 programming-languages  language-design  types 

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 secundarios"?

10 terminology  programming-languages 

Comenzaré un curso universitario de ciencias de la computación el próximo otoño, pero realmente no puedo entender el cálculo λ en el contexto de la programación funcional. Puedo estar malinterpretando esto por completo, pero según esta definición de la Enciclopedia de Filosofía de Stanford, es solo otra notación para las …

10 programming-languages  lambda-calculus 

¿Qué son las funciones anónimas (lambda)? ¿Cuál es la definición formal de una función anónima en un lenguaje de programación funcional? En mis términos simples, cuando estoy programando en esquema / lisp, diría que una función anónima (lambda) es una función que no está vinculada a un identificador. ¿Es eso …

10 logic  programming-languages  lambda-calculus  functional-programming 

¿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 \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Soy curioso. He estado trabajando en este tipo de datos en OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Que se puede manipular utilizando funciones recursivas escritas explícitamente (una característica que se …

10 logic  programming-languages  coq  inductive-datatypes 

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 que contienen una …

10 terminology  programming-languages 

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 está …

10 programming-languages  compilers 

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 superior?

10 programming-languages  functional-programming 

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 \> B \> do \>S) \> else \> SKIP, \sigma) Para mí, esto no es …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

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 solo un …

9 data-structures  programming-languages  continuations 

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) else (expression-with-type-error) ¿Alguien puede proporcionar una respuesta no artificial que realmente sería una preocupación práctica? Entiendo …

9 programming-languages  compilers  type-checking 

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 proporcionan algunas referencias.

9 terminology  programming-languages  semantics 

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 …

9 programming-languages  concurrency  mutual-exclusion