Dans le calcul lambda pur, nous avons l'ensemble de termes définis par induction (la grammaire): e::=x∣λx.e∣e1e2e::=x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Dans le cadre de la stratégie d'évaluation de l'appel par valeur, nous avons les règles d'inférence pour la réduction bêta et les...
Je travaille sur mon propre petit langage de programmation à des fins éducatives et j'ai rencontré un petit problème. Il existe plusieurs solutions différentes, mais toutes semblent inélégantes - et d'après ce que je comprends, inutiles. Mais en lisant les livres que j'ai et les recherches Google,...
Dis, je voulais créer mon propre langage de programmation. En supposant que j'ai pris toutes les décisions sur la façon dont je veux qu'il ressemble et agisse, ai-je juste besoin d'écrire un compilateur pour cela? Par exemple, le code Java de haut niveau est-il autre chose que du texte et ce texte...
L' autre jour, je lisais le document intitulé Fundamental Concepts in Programming Languages de C. Strachey , dans lequel j'ai lu quelque chose qui m'était assez étrange. Citant directement (avec la partie étrange surlignée par moi): Face à la situation telle qu'elle existe aujourd'hui, où il...
L'analyse du flux de données fonctionne sur un graphique de flux de contrôle. Lorsqu'un langage considéré prend en charge les exceptions, le graphique du flux de contrôle peut exploser. Quelles sont les techniques standard pour faire face à cette explosion? Pouvons-nous ignorer les bords induits...
Question: Existe-t-il des textes d'introduction en langage formel ou en théorie du langage de programmation qui discutent de la façon de l'appliquer à l'étude de la notation optimale? En particulier, je suis intéressé à savoir quels sont les langages de pile, les arbres d'analyse et les indices, et...
Je ne sais pas si c'est le bon endroit pour cette question. Désolé si je vais un peu hors sujet. Le choix d'une langue appropriée pour le premier cours de programmation est l'une des choses les plus importantes que chaque enseignant / conférencier doit garder à l'esprit; surtout si les élèves sont...
Je lis le langage de programmation Rust et j'ai trouvé le passage suivant: N'oubliez pas que l'écriture dans une structure n'est pas une opération atomique, et de nombreuses fonctions comme vec.push()peuvent se réallouer en interne et provoquer un comportement dangereux, donc même la monotonie peut...
J'aimerais en savoir plus sur la programmation concaténative à travers la création d'un petit langage simple, basé sur la pile et suivant le paradigme concaténatif. Malheureusement, je n'ai pas trouvé beaucoup de ressources concernant les langages concaténatifs et leur mise en œuvre, alors...