Preguntas etiquetadas con programming-languages

Echando un vistazo a la página web de Julia , puede ver algunos puntos de referencia de varios idiomas en varios algoritmos (los tiempos se muestran a continuación). ¿Cómo puede un lenguaje con un compilador originalmente escrito en C, superar el código C? Figura: tiempos de referencia relativos a C …

175 programming-languages  compilers  efficiency 

Soy bastante fluido en C / C ++, y puedo manejar los diversos lenguajes de scripting (awk / sed / perl). Empecé a usar Python mucho más porque combina algunos de los aspectos ingeniosos de C ++ con las capacidades de scripting de awk / sed / perl. Pero, ¿por …

130 programming-languages 

Estoy aprendiendo Haskell y estoy fascinado por el idioma. Sin embargo, no tengo antecedentes serios en matemáticas o CS. Pero soy un programador de software experimentado. Quiero aprender teoría de categorías para poder mejorar en Haskell. ¿Qué temas de la teoría de categorías debería aprender a proporcionar una buena base …

118 programming-languages  functional-programming  category-theory 

Me he dado cuenta de que algunas aplicaciones o algoritmos que se basan en un lenguaje de programación, por ejemplo, C ++ / Rust, se ejecutan más rápido o más rápido que los creados en Java, Node.js, que se ejecutan en la misma máquina. Tengo algunas preguntas con respecto a …

82 programming-languages  compilers 

Pregunta: "Ciertas propiedades de un lenguaje de programación pueden requerir que la única forma de ejecutar el código escrito en él sea mediante interpretación. En otras palabras, la compilación en un código de máquina nativo de una CPU tradicional no es posible. ¿Cuáles son estas propiedades?" Compiladores: Principios y práctica …

72 programming-languages  compilers  interpreters 

Como ingeniero de software, escribo mucho código para productos industriales. Cosas relativamente complicadas con clases, hilos, algunos esfuerzos de diseño, pero también algunos compromisos para el rendimiento. Realizo muchas pruebas, y estoy cansado de probar, así que me interesé en las herramientas de prueba formales, como Coq, Isabelle ... ¿Podría …

66 programming-languages  program-correctness  software-verification 

Actualmente estoy terminando mi maestría en informática. Estoy interesado en lenguajes de programación, especialmente en sistemas de tipos. Me interesé en la investigación en este campo y el próximo semestre comenzaré un doctorado sobre el tema. Ahora aquí está la verdadera pregunta: ¿cómo puedo explicar lo que (quiero) hacer a …

64 programming-languages  education  typing  research 

Me pregunto si es posible construir compiladores para lenguajes dinámicos como Ruby para tener un rendimiento similar y comparable a C / C ++. Por lo que entiendo sobre los compiladores, tomemos Ruby, por ejemplo, compilar el código Ruby nunca puede ser eficiente porque la forma en que Ruby maneja …

64 programming-languages  compilers 

¿Alguien podría explicar la diferencia entre los tipos dependientes y los tipos de refinamiento? Según tengo entendido, un tipo de refinamiento contiene todos los valores de un tipo que cumple un predicado. ¿Existe una característica de los tipos dependientes que los distingue? Si ayuda, me encontré con tipos refinados a …

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

¿Existe un conjunto de construcciones de lenguaje de programación en un lenguaje de programación para que pueda considerarse Turing Complete? Por lo que puedo decir de Wikipedia , el lenguaje debe admitir la recursividad o, al parecer, debe poder ejecutarse sin detenerse. ¿Es esto todo lo que hay que hacer?

55 computability  programming-languages  turing-machines  turing-completeness 

Los lenguajes de programación seguros (PL) están ganando popularidad. Me pregunto cuál es la definición formal de PL seguro. Por ejemplo, C no es seguro, pero Java es seguro. Sospecho que la propiedad "segura" debería aplicarse a una implementación de PL en lugar de a la propia PL. Si es …

54 programming-languages 

Disculpas de antemano por la ingenuidad de esta pregunta. Soy un artista de 50 años que intenta comprender correctamente las computadoras por primera vez. Entonces aquí va. He estado tratando de entender cómo un compilador maneja los tipos de datos y las variables (en un sentido muy general, sé que …

47 programming-languages  memory-allocation 

Me encontré con un problema extraño al escribir un intérprete que (debería) engancharse a programas / funciones externas: las funciones en 'C' y 'C ++' no pueden conectar funciones variadas , por ejemplo, no puedo hacer una función que llame a 'printf' con exactamente los mismos argumentos que obtuvo, y …

42 computability  programming-languages  turing-completeness 

La historia corta Un famoso informático, Tarjan , escribió un libro hace años. Contiene pseudocódigo absolutamente extraño. ¿Alguien podría explicarlo? La larga historia Tarjan es conocido por muchos logros, incluido el hecho de que fue el coinventor de los árboles . Publicó un libro, " Estructuras de datos y algoritmos …

40 programming-languages 

Un recolector de basura generacional típico mantiene los datos asignados recientemente en una región de memoria separada. En los programas típicos, una gran cantidad de datos es de corta duración, por lo que recolectar basura joven (un ciclo menor de GC) con frecuencia y recolectar basura vieja con poca frecuencia …

38 programming-languages  computer-architecture  cpu-cache  garbage-collection