Preguntas etiquetadas con programming-languages

Me pregunto si hay experimentos que muestren la existencia o la inexistencia de una correlación entre el uso de un lenguaje dinámico (como Python, Ruby o incluso lenguajes que se ejecutan en la plataforma Java como Groovy, Clojure) en un lenguaje estático (como C / C ++), y la diferencia …

25 programming-languages  empirical-research  software-engineering 

En un artículo reciente de CACM [1], los autores presentan una implementación para funciones por etapas . Usan el término como si fuera bien conocido, y ninguna de las referencias parece una introducción obvia. Dan una breve explicación (el énfasis es mío y el número de referencia cambió; es 22 …

24 terminology  programming-languages  meta-programming 

Siguiendo el mismo pensamiento que esta declaración de Andrej Bauer en esta respuesta La comunidad de Haskell ha desarrollado una serie de técnicas inspiradas en la teoría de categorías, de las cuales las mónadas son más conocidas pero no deben confundirse con las mónadas . ¿Cuál es la relación entre …

24 programming-languages  functional-programming  category-theory 

Esta es una pregunta ingenua y, por lo tanto, posiblemente malformada, ¡disculpas de antemano! Mi opinión es que una máquina de Turing puede verse como la base computacional para los lenguajes de programación de procedimientos / imperativos. Del mismo modo, el cálculo lambda es la base de los lenguajes de …

23 programming-languages  mathematical-foundations  church-turing-thesis 

Por recomendación, vuelvo a publicar esto desde Stack Overflow . Recientemente he estado pensando en el siguiente tema. Considere el código para un estándar "¡Hola, mundo!" programa: main() { printf("Hello World"); } Ahora, casi cualquier cambio en este código lo hará completamente inútil, de hecho, casi todos los cambios evitarán …

23 programming-languages  computation-models 

Así que estaba pensando en cómo funcionan los recolectores de basura y pensé en un tema interesante. Presumiblemente, los recolectores de basura tienen que atravesar todas las estructuras de la misma manera. No pueden saber el tiempo que atraviesan una lista vinculada o un árbol equilibrado o lo que sea. …

23 programming-languages  memory-management  garbage-collection 

Me gustaría hacer algunas preguntas sobre el lenguaje ensamblador. Tengo entendido que está muy cerca del lenguaje de máquina, lo que lo hace más rápido y más eficiente. Dado que tenemos diferentes arquitecturas de computadora, ¿eso significa que tengo que escribir un código diferente en Assembly para diferentes arquitecturas? Si …

23 programming-languages  computer-architecture 

En resumen: ¿cómo se clasifican los sistemas de tipos en contextos académicos; particularmente, ¿dónde puedo encontrar fuentes confiables que aclaren las distinciones entre los diferentes tipos de sistemas de tipos? En cierto sentido, la dificultad con esta pregunta no es que no pueda encontrar una respuesta, sino que puedo encontrar …

23 reference-request  programming-languages  type-theory 

Sé que, en los lenguajes de programación imperativos, un bucle while-do es suficiente como una construcción de flujo de control para completar el lenguaje Turing (en lo que respecta al flujo de control, por supuesto, también necesitamos memoria ilimitada y ciertos operadores ...) . La esencia de mi pregunta es: …

22 programming-languages  turing-completeness  loops  imperative-programming 

Quizás mi comprensión limitada del tema es incorrecta, pero esto es lo que entiendo hasta ahora: La programación funcional se basa en el cálculo Lambda, formulado por Alonzo Church. La programación imperativa se basa en el modelo de máquina de Turing, realizado por Alan Turing, estudiante de Church. El cálculo …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

¿Cuál es la diferencia entre el lenguaje de programación y un lenguaje de script? Por ejemplo, considere C versus Perl. ¿Es la única diferencia que los lenguajes de secuencias de comandos requieren solo el intérprete y no requieren compilación y vinculación?

20 programming-languages 

En el famoso ensayo de Richard Gabriel The Rise of Worse is Better , contrasta las versiones caricaturizadas de las filosofías de diseño del MIT / Stanford (Lisp) y Nueva Jersey (C / Unix) a lo largo de los ejes de simplicidad, corrección, coherencia e integridad. Da el ejemplo del …

20 programming-languages  operating-systems 

Dado un sistema de transición etiquetado , donde es un conjunto de estados, es un conjunto de etiquetas y es una relación ternaria. Como de costumbre, escriba para . La transición etiquetada denota que el sistema en estado cambia el estado a con la etiqueta , lo que significa que …

20 programming-languages  formal-methods  semantics  process-algebras 

Nuestro profesor nos pidió que pensáramos en una función en OCaml que tenga el tipo 'a -> 'b es decir, una función de un argumento que podría ser cualquier cosa, y que puede devolver una cosa diferente. Pensé en usar raiseuna función que ignora su argumento: let f x = …

19 programming-languages  typing  functional-programming 

Estoy comenzando una investigación bibliográfica personal sobre algoritmos de verificación de tipos y quiero algunos consejos. ¿Cuáles son los algoritmos, estrategias y técnicas generales de verificación de tipos más utilizados? Estoy particularmente interesado en algoritmos complejos de verificación de tipos que se implementaron en lenguajes de tipeo muy estáticos y …

19 algorithms  programming-languages  reference-request  type-checking