L'informatique programming-languages

10

Comment un langage dont le compilateur est écrit en C peut-il être plus rapide que C?

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 (plus …

175 programming-languages compilers efficiency

12

Pourquoi y a-t-il tant de langages de programmation?

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 …

130 programming-languages

6

La théorie des catégories est-elle utile pour apprendre la programmation fonctionnelle?

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 apprendre à fournir …

118 programming-languages functional-programming category-theory

5

Pourquoi certains langages de programmation sont-ils «plus rapides» ou «plus lents» que d'autres?

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 arrive-t-il? Qu'est-ce qui gouverne la …

82 programming-languages compilers

9

Quelles propriétés d'un langage de programmation rendent la compilation impossible?

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 propriétés?" Les compilateurs: principes et pratique par Parag …

72 programming-languages compilers interpreters

6

Vérification formelle du programme en pratique

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 outils de preuve formels, …

66 programming-languages program-correctness software-verification

14

Comment puis-je expliquer à mes parents que j'étudie les langages de programmation?

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 …

64 programming-languages education typing research

10

Un langage dynamique comme Ruby / Python peut-il atteindre des performances comparables à celles du C / C ++?

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

64 programming-languages compilers

3

Types dépendants vs types de raffinement

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 aider, je suis tombé sur les types …

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

6

Existe-t-il des critères minimums pour qu'un langage de programmation soit complet?

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 interruption. Est-ce tout ce qu'il …

55 computability programming-languages turing-machines turing-completeness

9

Qu'est-ce qu'un langage de programmation sécurisé?

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 …

54 programming-languages

8

Comment les variables sont-elles stockées et extraites de la pile de programmes?

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 …

47 programming-languages memory-allocation

9

Pourquoi certains langages de programmation sont-ils complets mais manquent-ils de capacités d'autres langages?

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 exactement les …

42 computability programming-languages turing-completeness

2

Comment fonctionne le pseudocode de Tarjan (expliqué à une personne familiarisée avec C ou Java)?

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 co-inventeur des arbres évasés …

40 programming-languages

2

Les éboueurs de génération sont-ils intrinsèquement compatibles avec le cache?

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 de vieux déchets peu fréquente constituent …

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

Questions marquées «programming-languages»