Le rover Mars Curiosity a atterri avec succès et l'une des vidéos promotionnelles "7 minutes de terreur" se vante de l'existence de 500 000 lignes de code. C'est un problème compliqué, sans doute. Mais c'est beaucoup de code, il y avait sûrement un gros effort de programmation derrière. Est-ce que...
Je suis rigoureux dans la programmation et ai rencontré des langages tels que BASIC, FORTRAN, COBOL, LISP, LOGO, Java, C ++, C, MATLAB, Mathematica, Python, Ruby, Perl, JavaScript, Assembly, etc. Je ne comprends pas comment les gens créent des langages de programmation et conçoivent des...
On m'a récemment confié la lecture des débats de Tanenbaum-Torvalds dans ma classe de système d'exploitation. Dans les débats, Tanenbaum fait certaines prédictions: Les micro-noyaux sont l'avenir x86 s'éteindra et les architectures RISC domineront le marché (Dans 5 ans) tout le monde utilisera un...
Je suis vraiment curieux en ce moment. Je suis un programmeur Python, et cette question m’a complètement échappé: vous écrivez un système d’exploitation. Comment le dirigez-vous? Il doit être exécuté d'une manière ou d'une autre, et cette manière est dans un autre OS? Comment une application...
Récemment, j'ai eu un problème de lisibilité de mon code. J'avais une fonction qui effectuait une opération et renvoyait une chaîne représentant l'ID de cette opération pour référence future (un peu comme OpenFile dans Windows renvoyant un descripteur). L'utilisateur utiliserait cet identifiant...
Sur mon système de fichiers (Windows 7), j'ai des fichiers texte (ce sont des fichiers de script SQL, si cela compte). Lorsqu’il est ouvert avec Notepad ++ , dans le menu "Encodage", il est signalé que certains d’entre eux possèdent un encodage de "UCS-2 Little Endian" et d’autres de "UTF-8 sans...
Je me demandais si quelqu'un savait quel est le système d'exploitation utilisé dans les avions commerciaux (Boeing ou Airbus, par exemple). En outre, quelle est la langue de programmation en temps réel (préférée)? J'ai entendu dire qu'Ada est utilisé dans Boeing, alors ma question est: pourquoi...
En étudiant le cours pour débutants sur l’interface matériel / logiciel et les systèmes d’exploitation, il est souvent question de savoir s’il serait préférable de remplacer certaines parties du matériel par des logiciels, et inversement. Je ne peux pas faire le
J'essaie de déterminer les détails techniques de la raison pour laquelle les logiciels produits à l'aide de langages de programmation pour certains systèmes d'exploitation ne fonctionnent qu'avec eux. D'après ce que j'ai compris, les fichiers binaires sont spécifiques à certains processeurs en...
Existe-t-il des études sur l'efficacité des langages statiquement et dynamiquement typés? En particulier: Mesures de la productivité du programmeur Taux de défauts Comprend également les effets de l’utilisation ou non de tests unitaires. J'ai vu beaucoup de discussions sur les mérites de chaque...
Je réalise que certaines choses sont plus faciles / plus difficiles dans une langue que dans l'autre, mais je ne m'intéresse qu'aux fonctionnalités liées au type qui sont possibles dans l'une et impossibles / non pertinentes dans l'autre. Pour le rendre plus spécifique, ignorons les extensions de...
Considérez ceci comme une question "académique". Je me demandais de temps en temps d'éviter les NULL et c'est un exemple où je ne peux pas trouver de solution satisfaisante. Supposons que je stocke les mesures là où, à l'occasion, on sait que la mesure est impossible (ou manquante). Je voudrais...
Eric Lippert a fait un point très intéressant dans sa discussion sur les raisons pour lesquelles C # utilise un type nullplutôt qu'un Maybe<T>type : La cohérence du système de types est importante. Pouvons-nous toujours savoir qu'une référence non Nullable n'est jamais considérée comme...
Pourquoi est-ce correct et surtout attendu: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... alors que ce n'est pas correct et que personne ne se plaint: concrete type Name : string { } concrete type Index : int { } concrete...
En supposant un langage avec une sécurité de type inhérente (par exemple, pas de JavaScript): Avec une méthode qui accepte a SuperType, nous savons que dans la plupart des cas, nous pourrions être tentés d'effectuer des tests de type pour choisir une action: public void DoSomethingTo(SuperType o) {...
Contexte Je conçois une langue, en tant que projet parallèle. J'ai un assembleur, un analyseur statique et une machine virtuelle en état de marche. Comme je peux déjà compiler et exécuter des programmes non triviaux en utilisant l'infrastructure que j'ai construite, j'ai pensé à faire une...
Un type de fond est une construction apparaissant principalement dans la théorie des types mathématiques. On l'appelle aussi le type vide. C'est un type qui n'a pas de valeur, mais qui est un sous-type de tous les types. Si le type de retour d'une fonction est le type du bas, cela signifie qu'il ne...
J'écris une application qui fonctionne avec des images satellites et mon patron m'a demandé d'examiner certaines applications commerciales et de voir comment elles se comportaient. J'ai constaté un comportement étrange et, comme je le recherchais, je l'ai également trouvé dans d'autres applications...
Dans JavaScript: The Good Parts de Douglas Crockford, il mentionne dans son chapitre sur l'héritage, L’autre avantage de l’héritage classique est qu’il inclut la spécification d’un système de types. Cela libère généralement le programmeur de la nécessité d’écrire des opérations de transtypage...
Comme la plupart d’entre nous le savent, PHP est peu typé . Pour ceux qui ne le font pas, PHP.net dit: PHP ne nécessite pas (ni ne prend en charge) la définition de type explicite dans la déclaration de variable; le type d'une variable est déterminé par le contexte dans lequel la variable est...