Preguntas etiquetadas con programming-languages

Soy nuevo en la teoría del lenguaje de programación. Estaba viendo algunas conferencias en línea en las que el instructor afirmó que una función con tipo polimórfico forall t: Type, t->tsería la identidad, pero no explicó por qué. ¿Alguien puede explicarme por qué? Tal vez una prueba de la afirmación …

18 programming-languages  type-theory 

Estoy familiarizado con una docena de lenguajes de programación que tienen excepciones de alguna manera, sin embargo, llegué a ser testigo de dos tendencias "patológicas". No parece haber un patrón común o jerarquía de excepciones. Básicamente, cada idioma presenta su propia versión, y si las excepciones se convierten en el …

18 terminology  programming-languages  api-design 

En los lenguajes de programación, los cierres son una característica popular y a menudo deseada. Wikipedia dice (énfasis mío): En informática, un cierre (...) es una función junto con un entorno de referencia para las variables no locales de esa función. Un cierre permite que una función acceda a variables …

18 programming-languages  semantics 

He estudiado el libro "C ++ desmitificado" . Ahora he comenzado a leer "Programación orientada a objetos en Turbo C ++ primera edición (1ª edición)" de Robert Lafore. No tengo ningún conocimiento de programación que esté más allá de estos libros. Este libro puede estar desactualizado porque tiene 20 años. …

17 programming-languages  object-oriented  programming-paradigms 

Realmente estoy luchando con esta propiedad: Deje que sea espacios de coherencia y es una función monótona. es continuo si y solo si , para todos modo que D es un conjunto dirigido.X,YX,YX,Yf f ( ⋃ x ∈ D x ) = ⋃ x ∈ D f ( x ) …

16 terminology  programming-languages  semantics 

De acuerdo con este artículo, la siguiente línea de código Lisp imprime "Hola mundo" a la salida estándar. (format t "hello, world") Lisp, que es un lenguaje homoicónico , puede tratar el código como datos de esta manera: Ahora imagine que escribimos la siguiente macro: (defmacro backwards (expr) (reverse expr)) …

16 programming-languages  functional-programming 

¿Quieres mejorar esta publicación? Proporcione respuestas detalladas a esta pregunta, incluidas citas y una explicación de por qué su respuesta es correcta. Las respuestas sin suficiente detalle pueden ser editadas o eliminadas. A menudo hay lenguajes de programación especializados para tareas específicas. Algunos lenguajes de programación son excelentes en la …

15 programming-languages 

Sé que se puede demostrar que PROLOG es Turing completo mediante la construcción de un programa que simula una máquina de Turing como esta: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- …

15 programming-languages  turing-completeness  logic-programming  prolog 

Estoy trabajando en un compilador para un lenguaje concatenante y me gustaría agregar soporte de inferencia de tipos. Entiendo Hindley-Milner, pero he estado aprendiendo la teoría de tipos a medida que avanzo, así que no estoy seguro de cómo adaptarla. ¿El siguiente sistema es sólido y decididamente infeccioso? Un término …

15 programming-languages  logic  compilers  type-theory  type-checking 

Con referencia a características en lenguajes como ruby ​​(y javascript), que permiten a un programador extender / anular clases en cualquier momento después de definirlo (incluidas clases como String), es teóricamente factible diseñar un lenguaje que permita que los programas se extiendan más adelante. su semántica Ej: Ruby no permite …

15 programming-languages  semantics 

Aquí leo eso: Haskell definitivamente no tiene el sistema de tipos más avanzado (ni siquiera cerca si cuenta los idiomas de investigación), pero de todos los idiomas que realmente se usan en la producción, Haskell probablemente esté en la cima. Entonces estoy preguntando dos cosas: qué lenguajes de investigación tienen …

14 programming-languages  type-theory 

¿Alguien puede referirme a trabajos revisados ​​por pares que estudien las ventajas o desventajas de escribir código en un estilo funcional? ¿Existen documentos que analicen las aplicaciones del cálculo Lambda en campos como el aprendizaje automático, el diseño del lenguaje, etc.?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Me he encontrado con una experiencia extraña en la programación en C. Considera este código: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Cuando compilo y ejecuto esto, no recibo ningún error o …

14 programming-languages  arrays  c 

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 especificada por …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

Sigo escuchando acerca de cómo uno debe aprender la teoría de categorías para comprender realmente la teoría del lenguaje de programación. Hasta ahora, he aprendido una gran cantidad de PL sin siquiera entrar en el ámbito de las categorías. Sin embargo, pensé que era hora de dar el salto para …

13 reference-request  programming-languages  type-theory  category-theory