Estaba leyendo sobre Iota y Jot y encontré esta sección confusa: A diferencia de Iota, donde el árbol sintáctico para una cadena puede ramificarse tanto a la izquierda como a la derecha, la sintaxis de Jot se ramifica uniformemente a la izquierda. Como resultado, Iota es estrictamente libre de...
Básicamente conozco tres fundamentos para las matemáticas. Teoría de conjuntos Teoría de tipo Teoría de la categoría Entonces, ¿de qué manera están relacionados los lenguajes de programación y los fundamentos de las matemáticas? EDITAR La pregunta original era "Lenguajes de programación...
¿Existen programas que puedan 'traducir' el código fuente entre dos idiomas (suponiendo que el traductor tenga acceso a las bibliotecas necesarias)? Si los hay, ¿cómo funcionan (técnicas utilizadas, conocimiento requerido, etc.)? ¿Cómo se construirían de manera factible? Si no lo son, ¿cuáles son...
El combinador de punto fijo FIX (también conocido como el combinador Y) en el cálculo lambda ( tipo) ( ) se define como:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y....
Principalmente escribimos programas en lenguaje de alto nivel. Así que mientras estudiaba me encontré con el lenguaje ensamblador. Entonces, un ensamblador convierte el lenguaje ensamblador a lenguaje máquina y un compilador hace lo mismo con lenguaje de alto nivel. Encontré que el lenguaje...
Buscando una idea de las decisiones sobre el diseño del lenguaje recolectado basura. ¿Quizás un experto en idiomas podría iluminarme? Vengo de un fondo C ++, por lo que esta área es desconcertante para mí. Parece que casi todos los lenguajes modernos recolectados de basura con soporte de objetos...
Esta pregunta se migró de Software Engineering Stack Exchange porque se puede responder en Computer Science Stack Exchange. Migrado hace 6 años . ¿Podemos estudiar lenguajes de programación en el contexto de la lingüística? ¿Los lenguajes de programación evolucionan...
Tenga en cuenta que, aunque sé programar, soy un principiante en la teoría de CS. De acuerdo con esta respuesta La integridad de Turing es un concepto abstracto de computabilidad. Si un idioma es completo de Turing, entonces es capaz de hacer cualquier cálculo que cualquier otro lenguaje...
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 en la...
He buscado en la red una respuesta a esta pregunta y parece que todos saben implícitamente la respuesta, excepto yo. Presumiblemente esto se debe a que las únicas personas que se preocupan son aquellas que han recibido educación terciaria sobre el tema. Yo, por otro lado, he sido arrojado al fondo...
He encontrado varias herramientas de programación visual de código abierto como Blockly y sus amigos, y otros proyectos alojados en Github, pero no pude encontrar ninguno que funcione directamente con el árbol de sintaxis abstracta. ¿Porqué es eso? Lo pregunto porque una vez que descubrí que cada...
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 en...
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...
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...
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...
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...
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...
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,...
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...
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...