El rover Mars Curiosity ha aterrizado con éxito, y uno de los videos promocionales "7 minutes of terror" se jacta de que hay 500,000 líneas de código. Es un problema complicado, sin duda. Pero eso es mucho código, seguramente hubo un gran esfuerzo de programación detrás de él. ¿Alguien sabe algo...
Soy minucioso con la programación y he encontrado lenguajes que incluyen BASIC, FORTRAN, COBOL, LISP, LOGO, Java, C ++, C, MATLAB, Mathematica, Python, Ruby, Perl, JavaScript, Assembly, etc. No puedo entender cómo las personas crean lenguajes de programación y diseñan compiladores para ello....
Recientemente me asignaron la lectura de los debates de Tanenbaum-Torvalds en mi clase de SO. En los debates, Tanenbaum hace algunas predicciones: Los microkernels son el futuro x86 se extinguirá y las arquitecturas RISC dominarán el mercado (5 años a partir de entonces) todos estarán ejecutando...
Tengo mucha curiosidad ahora. Soy un programador de Python, y esta pregunta me dejó perplejo: escribes un sistema operativo. ¿Cómo lo ejecutas? Tiene que ejecutarse de alguna manera, y de esa manera está dentro de otro sistema operativo? ¿Cómo puede ejecutarse una aplicación sin estar en un...
Recientemente tuve un problema con la legibilidad de mi código. Tenía una función que hizo una operación y devolvió una cadena que representa la ID de esta operación para referencia futura (un poco como OpenFile en Windows que devuelve un identificador). El usuario usaría esta ID más tarde para...
En mi sistema de archivos (Windows 7) tengo algunos archivos de texto (estos son archivos de script SQL, si eso es importante). Cuando se abre con Notepad ++ , en el menú "Codificación" se informa que algunos de ellos tienen una codificación de "UCS-2 Little Endian" y algunos de "UTF-8 sin...
Me preguntaba si alguien sabe cuál es el sistema operativo utilizado en los aviones comerciales (por ejemplo, Boeing o Airbus). Además, ¿cuál es el lenguaje de programación en tiempo real (preferido)? Escuché que Ada se usa en Boeing, así que mi pregunta es: ¿por qué Ada? ¿Cuáles son los criterios...
Al estudiar el curso para principiantes sobre interfaz de hardware / software y sistemas operativos, a menudo surge el tema de si sería mejor reemplazar algunas partes de hardware con software y viceversa. No puedo hacer la
Estoy tratando de determinar los detalles técnicos de por qué el software producido usando lenguajes de programación para ciertos sistemas operativos solo funciona con ellos. Entiendo que los binarios son específicos de ciertos procesadores debido al lenguaje de máquina específico del procesador...
¿Existen estudios realizados sobre la efectividad de los idiomas tipados estáticamente vs dinámicamente? En particular: Mediciones de productividad del programador. Tasa de defectos También se incluyen los efectos de si se emplean o no pruebas unitarias. He visto mucha discusión sobre los...
Me doy cuenta de que algunas cosas son más fáciles / difíciles en un idioma que en el otro, pero solo me interesan las características relacionadas con el tipo que son posibles en uno e imposibles / irrelevantes en el otro. Para hacerlo más específico, ignoremos las extensiones de tipo Haskell ya...
Considere esta una pregunta "académica". Me he estado preguntando acerca de cómo evitar NULL de vez en cuando y este es un ejemplo en el que no puedo encontrar una solución satisfactoria. Supongamos que almaceno medidas donde en ocasiones se sabe que la medida es imposible (o que falta). Me...
¿Por qué está bien y es más esperado? abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... mientras esto no está bien y nadie se queja: concrete type Name : string { } concrete type Index : int { } concrete type Quantity...
Eric Lippert hizo un punto muy interesante en su discusión de por qué C # usa un tipo en nulllugar de un Maybe<T>tipo : La consistencia del sistema de tipos es importante; ¿podemos saber siempre que una referencia no anulable nunca se considera inválida bajo ninguna circunstancia? ¿Qué...
Asumiendo un lenguaje con algún tipo de seguridad inherente (por ejemplo, no JavaScript): Dado un método que acepta a SuperType, sabemos que en la mayoría de los casos en los que podríamos sentir la tentación de realizar pruebas de tipo para elegir una acción: public void DoSomethingTo(SuperType...
Antecedentes Estoy diseñando un lenguaje, como un proyecto paralelo. Tengo un ensamblador que funciona, un analizador estático y una máquina virtual para ello. Como ya puedo compilar y ejecutar programas no triviales utilizando la infraestructura que he construido, pensé en hacer una presentación...
Un tipo de fondo es una construcción que aparece principalmente en la teoría de tipos matemáticos. También se llama el tipo vacío. Es un tipo que no tiene valores, pero es un subtipo de todos los tipos. Si el tipo de retorno de una función es el tipo inferior, eso significa que no regresa....
Estoy escribiendo una aplicación que funciona con imágenes satelitales, y mi jefe me pidió que mirara algunas de las aplicaciones comerciales y ver cómo se comportan. Encontré un comportamiento extraño y luego, mientras lo buscaba, también lo encontré en otras aplicaciones estándar. Estos...
En JavaScript: The Good Parts por Douglas Crockford, menciona en su capítulo de herencia, El otro beneficio de la herencia clásica es que incluye la especificación de un sistema de tipos. Esto libera principalmente al programador de tener que escribir operaciones de conversión explícitas, lo...
PHP, como la mayoría de nosotros sabemos, tiene una escritura débil . Para aquellos que no, PHP.net dice: PHP no requiere (o admite) la definición de tipo explícito en la declaración de variable; El tipo de una variable está determinado por el contexto en el que se utiliza la variable. Me...