Je suis étudiant en informatique. Je veux créer mon propre langage de programmation (un langage de base avec peu d'instructions). Je sais faire un analyseur syntaxique, je l'ai déjà fait en Perl. Dans un article, j'ai lu quelque chose sur le compilateur, un compilateur se fait en soi. Par exemple,...
Pour les fonctions ou les calculs, nous avons des termes comme: Déterministe - Déterminisme Pur - Pureté Maintenant, quel est le nom correspondant correct pour sans effet secondaire ? "Effet secondaire"? "Liberté d'effets secondaires"? "Non efficace
En lisant un article décrivant les différences entre OO et la programmation fonctionnelle, je suis tombé sur des pointeurs de fonction. Cela fait un moment que je n'ai pas obtenu mon diplôme en informatique (2003) et j'ai donc cherché des pointeurs pour rafraîchir ma mémoire. Les pointeurs sont des...
Venant d'un arrière-plan C ++, je ne comprends pas pourquoi on a besoin de types / expressions de type en tant que citoyen de première classe? La seule langue que je connaisse qui prend en charge cette fonctionnalité est Aldor. Quelqu'un at-il de la littérature sur les types de citoyens de première...
La défonctionnalisation est une transformation décrite pour la première fois en 1972 par John C. Reynolds pour éliminer les fonctions d'ordre supérieur. Existe-t-il des transformations alternatives (plus efficaces?) Pour éliminer les fonctions d'ordre
Je pense que dans l'algorithme de Peterson pour l' exclusion mutuelle , si le processus premier à entrer dans la section critique devait mourir ou être annulée, l'autre processus serait toujours en boucle, en attendant d'entrer dans la section critique. Dans l'image, si le processus 1 est arrêté,...
Dans le chapitre 1 de Foundations pratiques pour les langages de programmation , l'auteur mentionne que les arbres de syntaxe abstraite sont associés aux tris . Intuitivement, les tris sont comme des types, mais j'aimerais savoir s'ils ont une définition précise. Je serais heureux si certaines...
Est-il possible d'utiliser des types dépendants dans l' implémentation de raquette typée existante ? (c'est-à-dire qu'ils existent dedans?) Est-il raisonnablement possible d'implémenter un système de types dépendants à l'aide d'une raquette
J'ai récemment discuté avec un ami d'un site Web qui proposait des défis d'expression régulière, correspondant principalement à un groupe de mots avec une propriété spéciale. Il cherchait une expression régulière qui correspond à des chaînes comme ||||||||où le nombre de |est premier. Je lui ai...
Disons que les listes sont définies comme List a = Nil | Cons a (List a) Alors, à Haskell est List xle plus grand point ou le moins fixe? Je demande parce que le lfp devrait exclure les listes infinies (mais vous pouvez les construire dans Haskell), tandis que le gfp devrait exclure les listes...
Dans Concepts in Programming Languages , John Mitchell écrit que la vérification de type statique est nécessairement conservatrice (trop stricte) en raison du problème d'arrêt. Il donne comme exemple: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else...
String est une classe immuable en Java. Une classe immuable est simplement une classe dont les instances ne peuvent pas être modifiées. Pourquoi le langage de programmation Java choisit-il de rendre les objets de la classe String
J'examine les techniques d'implémentation des langages de programmation et j'ai récemment rencontré des piles de spaghetti, qui sont censées être un bon choix pour un modèle de style de passage de continuation (compte tenu de leur utilisation, par exemple, dans Scheme et SML / NJ ). Pour...
Habituellement, je vois que dans la représentation sémantique opérationnelle structurelle pour la boucle while, l'état du programme ne change pas: ( W h i l eBréoS, σ) → ( i fBt h e nS; ( W h i l eBréoS)e l s eSKjeP, σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma)...
Supposons que vous étendez le calcul des constructions avec des "trous" - c'est-à-dire des morceaux de code incomplets que vous n'avez pas encore remplis. Je me demande s'il existe un algorithme pour remplir ces rôles automatiquement. Par exemple (en utilisant la syntaxe de Morte ): Cas A: λ (pred...
J'ai essayé de démêler les définitions de la sécurité des types et de la solidité des types et j'en ai un sacré moment. J'ai demandé à un professeur récemment et après un peu de réflexion, il a dit qu'il n'y avait vraiment aucune différence. Cependant, après avoir lu cela, il semble que: La...
Les machines de Turing ont un alphabet de symboles formel, une description basée sur les règles d'état et de transition de la façon dont un calcul est effectué. Le modèle d'acteur est parfois mentionné comme un modèle de calcul plus puissant que les machines de Turing (pas dans ce qu'il peut...
Je suis sur le point de mettre en œuvre un langage spécifique au domaine pour la représentation des conventions d'apprentissage social. Une partie de l'implémentation est une description formelle d'un langage - son «calcul», ses symboles et ses expressions logiques. Mon approche serait de décrire...
Qu'est-ce que cela signifie lorsqu'un argument d'une fonction est appelé un argument factice ? Je n'ai pas rencontré ce terme en dehors de Fortran, est-ce un terme général en informatique? Quels seraient des exemples d'arguments passés comme factices et non passés comme factices? J'ai trouvé cette...
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...