Preguntas etiquetadas con programming-languages

Supongamos que un programa se escribió en dos idiomas distintos, que sean el lenguaje X y el idioma Y, si sus compiladores generan el mismo código de bytes, ¿por qué debería usar el lenguaje X en lugar del idioma Y? ¿Qué define que un idioma es más rápido que otro? …

38 programming-languages  compilers 

Sé que Idris tiene tipos dependientes pero no está completo. ¿Qué no puede hacer al renunciar a la integridad de Turing, y esto está relacionado con tener tipos dependientes? Supongo que esta es una pregunta bastante específica, pero no sé mucho sobre los tipos dependientes y los sistemas de tipos …

35 computability  programming-languages  type-theory  dependent-types 

La mayoría de nosotros aprendimos programación usando lenguajes de programación "textuales" como Basic, C / C ++ y Java. Creo que es más natural y eficiente para los humanos pensar visualmente. La programación visual permite a los desarrolladores escribir programas manipulando elementos gráficos. Supongo que usar programación visual debería mejorar …

35 programming-languages 

Como educador de CS de nivel universitario, la cuestión de qué lenguaje de programación enseñar en el primer curso de programación a menudo se debate. Hay miles de idiomas para elegir, y mucha fiebre religiosa (o fevour) que apoya un campamento de idiomas sobre otro. Todo este sesgo subjetivo que …

35 programming-languages  education 

Dijkstra, en su ensayo Sobre la crueldad de enseñar realmente ciencias de la computación , hace la siguiente propuesta para un curso introductorio de programación: Por un lado, enseñamos lo que parece el cálculo predicado, pero lo hacemos de manera muy diferente a los filósofos. Para entrenar al programador novato …

33 reference-request  programming-languages  education  didactics 

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 contexto, …

32 regular-languages  programming-languages  turing-completeness 

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 basados ​​en fundamentos matemáticos" con el paragarph agregado de …

30 programming-languages  history  type-theory  category-theory 

¿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 las restricciones que impiden su desarrollo? ¿Es …

28 computability  programming-languages  compilers 

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. x~x~y)) Entiendo su …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

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 naturalmente de manera similar a los lenguajes naturales? Aunque la racionalidad …

27 programming-languages  natural-language-processing 

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 OOPy …

27 programming-languages  memory-management  garbage-collection  language-design 

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 ensamblador tiene instrucciones como mover r1 r3, …

27 programming-languages  education  history 

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 completo de …

26 computability  programming-languages  turing-completeness 

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 compilador tiene una …

25 programming-languages  language-design  syntax-trees 

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 …

25 formal-languages  programming-languages  regular-expressions