Questions liées à la conception, l'implémentation et l'analyse des langages de programmation. PAS pour des questions sur la programmation, qui sont hors sujet sur ce site.
En regardant la page Web de Julia , vous pouvez voir quelques points de repère de plusieurs langues à travers plusieurs algorithmes (timings montrés ci-dessous). Comment un langage avec un compilateur écrit à l'origine en C peut-il surpasser le code C? Figure: temps de référence par rapport à C...
Je parle assez bien le C / C ++ et je peux me familiariser avec les différents langages de script (awk / sed / perl). J'ai commencé à utiliser beaucoup plus python, car il combine certains aspects astucieux du C ++ avec les fonctionnalités de script de awk / sed / perl. Mais pourquoi y a-t-il tant...
J'apprends Haskell et je suis fasciné par la langue. Cependant, je n'ai aucun fond sérieux en mathématiques ou en CS. Mais je suis un programmeur expérimenté. Je veux apprendre la théorie des catégories afin de devenir meilleur à Haskell. Quels sujets de la théorie des catégories devrais-je...
J'ai remarqué que certaines applications ou algorithmes construits sur un langage de programmation, par exemple C ++ / Rust, s'exécutent plus rapidement ou plus facilement que ceux basés sur Java / Node.js, exécutés sur le même ordinateur. J'ai quelques questions à ce sujet: Pourquoi cela...
Question: "Certaines propriétés d'un langage de programmation peuvent nécessiter que le seul moyen d'obtenir l'exécution du code qui y est écrit soit par interprétation. En d'autres termes, la compilation en code machine natif d'un processeur traditionnel n'est pas possible. Quelles sont ces...
En tant qu’ingénieur logiciel, j’écris beaucoup de code pour les produits industriels. Trucs relativement compliqués avec des classes, des threads, des efforts de conception, mais aussi des compromis sur les performances. Je fais beaucoup de tests, et j'en ai marre, alors je me suis intéressé aux...
Je me demande s’il est possible de construire des compilateurs pour des langages dynamiques comme Ruby afin d’avoir des performances similaires et comparables à celles du C / C ++? D'après ce que je comprends des compilateurs, prenons Ruby par exemple, compiler du code Ruby ne peut jamais être...
Je suis en train de terminer ma maîtrise en informatique. Je suis intéressé par les langages de programmation, en particulier dans les systèmes de types. Je me suis intéressé à la recherche dans ce domaine et le semestre prochain, je commencerai un doctorat sur le sujet. Maintenant, voici la vraie...
Quelqu'un pourrait-il expliquer la différence entre les types dépendants et les types de raffinement? Si je comprends bien, un type de raffinement contient toutes les valeurs d’un type satisfaisant un prédicat. Existe-t-il une caractéristique des types dépendants qui les distingue? Si cela peut...
Existe-t-il un ensemble de constructions de langage de programmation dans un langage de programmation afin que celui-ci soit considéré comme Turing Complete? D'après ce que je peux dire sur wikipedia , la langue doit prendre en charge la récursion ou, apparemment, doit pouvoir fonctionner sans...
Les langages de programmation sûrs gagnent en popularité. Je me demande quelle est la définition officielle du PL en sécurité. Par exemple, C n'est pas sûr, mais Java est sûr. Je soupçonne que la propriété «safe» devrait être appliquée à une implémentation de PL plutôt qu'à la PL elle-même. Si tel...
Toutes mes excuses par avance pour la naïveté de cette question. Je suis un artiste de 50 ans qui essaie de bien comprendre les ordinateurs pour la première fois. Alors voilà. J'ai essayé de comprendre comment les types de données et les variables sont gérés par un compilateur (dans un sens très...
J'ai rencontré un problème étrange lors de l'écriture d'un interpréteur qui (devrait) être raccordé à des programmes / fonctions externes: les fonctions en 'C' et 'C ++' ne peuvent pas accrocher les fonctions variadiques , par exemple, je ne peux pas créer de fonction qui appelle 'printf' avec...
La petite histoire Tarjan , un célèbre informaticien , a écrit un livre il y a plusieurs années. Il contient un pseudo-code absolument bizarre. Quelqu'un pourrait-il s'il vous plaît l'expliquer? La longue histoire Tarjan est connu pour de nombreuses réalisations, notamment le fait qu'il était le...
Un ramasse-miettes générationnel typique conserve les données récemment allouées dans une région de mémoire distincte. Dans le cadre de programmes classiques, de nombreuses données sont de courte durée. Par conséquent, la collecte fréquente de jeunes déchets (un cycle mineur de GC) et la collecte...
Supposons qu’un programme soit écrit en deux langues distinctes, qu’il s’agisse de la langue X et de la langue Y, si leurs compilateurs génèrent le même code octet, pourquoi devrais-je utiliser la langue X au lieu de la langue Y? Qu'est-ce qui définit qu'une langue est plus rapide qu'une autre? Je...
La plupart d'entre nous ont appris la programmation à l'aide de langages de programmation "textuels" tels que Basic, C / C ++ et Java. Je crois qu'il est plus naturel et efficace pour les humains de penser visuellement. La programmation visuelle permet aux développeurs d’écrire des programmes en...
En tant qu'éducateur CS de niveau universitaire, la question du langage de programmation à enseigner dans le premier cours de programmation fait souvent l'objet de discussions. Il y a des milliers de langues parmi lesquelles choisir, et beaucoup de fièvre religieuse (ou fièvre) supportant un camp...
Je sais qu'Idris a des types dépendants mais n'est pas complet. Que peut-il ne pas faire en abandonnant la complétude de Turing, et est-ce lié à avoir des types dépendants? Je suppose que cette question est assez spécifique, mais je ne connais pas énormément les types dépendants et les systèmes de...
Dijkstra, dans son essai sur la cruauté de véritablement enseigner l'informatique , fait la proposition suivante pour un cours d'initiation à la programmation: D'une part, nous enseignons ce qui ressemble au calcul des prédicats, mais nous le faisons très différemment des philosophes. Afin de...