L'informatique programming-languages

8

Qu'est-ce qui détermine la «vitesse» d'un langage de programmation?

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? …

38 programming-languages compilers

2

Que ne peut pas faire Idris en abandonnant la complétude de Turing?

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 …

35 computability programming-languages type-theory dependent-types

10

Langages de programmation visuels

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 manipulant des …

35 programming-languages

13

Critères de sélection de la langue pour le premier cours de programmation

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 linguistique plutôt qu'un autre. …

35 programming-languages education

2

sur “Sur la cruauté d'enseigner réellement l'informatique”

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 former le programmeur débutant à la …

33 reference-request programming-languages education didactics

5

Les langues régulières peuvent-elles être complètes?

Je lisais sur Iota et Jot et j'ai trouvé cette section déroutante: Contrairement à Iota, où l'arbre syntaxique d'une chaîne peut se ramifier à gauche ou à droite, la syntaxe Jot est uniformément ramifiée à gauche. Par conséquent, Iota est strictement sans contexte, mais Jot est un langage régulier. Je …

32 regular-languages programming-languages turing-completeness

2

Comment les langages de programmation et les fondements des mathématiques sont-ils liés?

Fondamentalement, je connais trois fondements des mathématiques Théorie des ensembles Théorie des types Théorie des catégories Alors, en quoi les langages de programmation et les fondements des mathématiques sont-ils liés? MODIFIER La question d'origine était "Langages de programmation basés sur les fondements des mathématiques" avec le paragarphe ajouté de Et …

30 programming-languages history type-theory category-theory

6

Existe-t-il des programmes qui peuvent «traduire» le code source entre deux langues quelconques?

Existe-t-il des programmes qui peuvent «traduire» le code source entre deux langues quelconques (en supposant que le traducteur a accès aux bibliothèques requises)? Si oui, comment fonctionnent-elles (techniques utilisées, connaissances requises, etc.)? Comment seraient-ils réalisables? S'ils ne le sont pas, quelles sont les restrictions qui empêchent leur développement? Est-ce un …

28 computability programming-languages compilers

4

Dérivation claire et intuitive du combinateur à virgule fixe (combinateur Y)?

Le combinateur à virgule fixe FIX (alias le combinateur Y) dans le calcul lambda (non typé) ( λλ\lambda ) est défini comme: ≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Je comprends son …

28 computability logic programming-languages lambda-calculus combinatory-logic

9

Les langages de programmation ressemblent-ils davantage aux langages naturels?

Cette question a été migrée à partir de Software Engineering Stack Exchange car il est possible d'y répondre sur Computer Science Stack Exchange. Migré il y a 6 ans . Peut-on étudier les langages de programmation dans le contexte de la linguistique? Les langages de programmation évoluent-ils naturellement de manière …

27 programming-languages natural-language-processing

7

Pourquoi avons-nous besoin d'un langage d'assemblage?

Nous écrivons principalement des programmes dans un langage de haut niveau. Alors pendant mes études, je suis tombé sur un langage d'assemblage. Un assembleur convertit donc le langage d'assemblage en langage machine et un compilateur fait de même avec un langage de haut niveau. J'ai trouvé que le langage d'assemblage …

27 programming-languages education history

7

Pourquoi le paradigme destructeur d'objets dans les langues de collecte des ordures est-il omniprésent?

Vous cherchez un aperçu des décisions concernant la conception de la langue de collecte des ordures. Peut-être qu'un expert linguistique pourrait m'éclairer? Je viens d'un milieu C ++, donc ce domaine est déroutant pour moi. Il semble que presque tous les langages modernes récupérés avec la prise en charge des …

27 programming-languages memory-management garbage-collection language-design

7

Toutes les langues complètes sont-elles interchangeables

Notez, bien que je sache programmer, je suis tout à fait un débutant en théorie CS. Selon cette réponse La complétude de Turing est un concept abstrait de calculabilité. Si un langage est Turing complet, il est capable de faire n'importe quel calcul que n'importe quel autre langage complet de …

26 computability programming-languages turing-completeness

3

Outils de programmation visuels, pourquoi ne fonctionnent-ils pas directement avec l'AST?

J'ai trouvé plusieurs outils de programmation visuelle open source comme Blockly et ses amis, et d'autres projets hébergés chez Github, mais je n'ai trouvé aucun qui fonctionne directement avec l'arbre de syntaxe abstraite. Pourquoi donc? Je demande parce qu'une fois que j'ai découvert que chaque compilateur a une phase dans …

25 programming-languages language-design syntax-trees

6

Quelle est la relation entre les langages de programmation, les expressions régulières et les langages formels

J'ai cherché sur le net une réponse à cette question et il semble que tout le monde connaisse implicitement la réponse sauf moi. On peut supposer que cela est dû au fait que les seules personnes qui s’en soucient sont celles qui ont fait des études supérieures sur le sujet. …

25 formal-languages programming-languages regular-expressions

Questions marquées «programming-languages»