L'informatique programming-languages

1

Y a-t-il une différence entre la sécurité du type et la solidité du type?

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 …

9 programming-languages type-theory type-checking

1

Existe-t-il un algorithme général pour remplir les trous en termes de calcul des constructions?

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

9 machine-learning programming-languages unification

3

Pourquoi les chaînes sont-elles immuables dans certaines langues?

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

9 programming-languages language-design

2

Quel point fixe est le type de liste Haskell?

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 …

9 programming-languages type-theory functional-programming semantics category-theory

1

Expressivité des expressions régulières modernes

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 immédiatement dit que ça …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

2

Est-il possible de faire des types dépendants dans une raquette typée?

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 typée?

9 programming-languages typing type-checking dependent-types lisp

1

Représentation de la concaténation au niveau du type

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 excusez-moi à l'avance pour ma possible naïveté. …

8 logic programming-languages compilers type-theory type-checking

1

Que signifie la «monotonie» dans le contexte de la mutabilité

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 ne pas être suffisante pour …

8 programming-languages synchronization

7

En tant qu'enseignant: choisir un langage de programmation approprié

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 …

8 algorithms programming-languages education

1

Les langages formels peuvent-ils être utilisés pour étudier la notation mathématique?

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 comment prédire …

8 formal-languages reference-request formal-grammars programming-languages

1

Analyse du flux de données avec exceptions

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 par exception? Les analyses de …

8 programming-languages program-optimization software-verification

2

Pourquoi la BNF est-elle considérée comme une technique peu satisfaisante pour décrire une langue?

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 existe une méthode généralement …

8 formal-grammars programming-languages syntax

4

Créons-nous un langage de programmation en écrivant un compilateur?

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 …

8 programming-languages compilers

2

Comment relier la théorie et la mise en œuvre des boucles while?

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, je ne trouve …

8 programming-languages loops language-design

1

Lambda Calculus: comment fonctionnent les contextes d'évaluation

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 règles sur la …

8 programming-languages lambda-calculus semantics

Questions marquées «programming-languages»