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....
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...
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...
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...
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...
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...
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...
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...
Je me demande s'il y a des expériences qui montrent l'existence ou la non-existence d'une corrélation entre l'utilisation d'un langage dynamique (comme Python, Ruby ou même des langages qui s'exécutent sur la plate-forme Java comme Groovy, Clojure) sur un langage statique (comme C / C ++), et la...
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. D'un autre côté, j'ai...
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...
Dans un récent article du CACM [1], les auteurs présentent une implémentation des fonctions par étapes . Ils utilisent le terme comme s'il était bien connu, et aucune des références ne ressemble à une introduction évidente. Ils donnent une brève explication (l'accent est mis sur le mien et le...
Dans le même esprit que cette déclaration d' Andrej Bauer dans cette réponse La communauté Haskell a développé un certain nombre de techniques inspirées de la théorie des catégories, dont les monades sont les plus connues mais ne doivent pas être confondues avec les monades . Quelle est la relation...
C'est une question naïve et, par conséquent, peut-être malformée, donc excuses à l'avance! À mon avis, une machine de Turing peut être considérée comme la base de calcul des langages de programmation procéduraux / impératifs. De même, le lambda calcul est le fondement des langages de programmation...
En bref: comment les systèmes de types sont-ils classés dans des contextes académiques; en particulier, où puis-je trouver des sources fiables qui rendent les distinctions entre les différents types de système de types clairs? Dans un sens, la difficulté avec cette question n'est pas que je ne...
Je pensais donc au fonctionnement des ramasseurs d'ordures et j'ai pensé à un problème intéressant. Vraisemblablement, les ramasseurs d'ordures doivent traverser toutes les structures de la même manière. Ils ne peuvent pas savoir le temps qu'ils parcourent une liste chaînée ou un arbre équilibré ou...
Je voudrais poser quelques questions sur le langage de l'Assemblée. Ma compréhension est qu'il est très proche du langage machine, ce qui le rend plus rapide et plus efficace. Étant donné que différentes architectures informatiques existent, cela signifie-t-il que je dois écrire du code différent...
Par recommandation, je republie cela à partir de Stack Overflow . Récemment, j'ai réfléchi au problème suivant. Considérez le code pour un standard "Bonjour tout le monde!" programme: main() { printf("Hello World"); } Maintenant, presque tout changement dans ce code le rendra complètement inutile,...
Je sais que, dans les langages de programmation impératifs, une boucle while-do est suffisante comme construction de flux de contrôle pour rendre le langage Turing complet (en ce qui concerne le flux de contrôle - bien sûr, nous avons également besoin d'une mémoire illimitée et de certains...
Peut-être que ma compréhension limitée du sujet est incorrecte, mais c'est ce que je comprends jusqu'à présent: La programmation fonctionnelle est basée sur Lambda Calculus, formulée par Alonzo Church. La programmation impérative est basée sur le modèle de machine Turing, fabriqué par Alan Turing,...