L'informatique semantics

3

Le GC de comptage de références par rapport au GC de traçage est-il une propriété de langage ou une propriété d'implémentation?

On entend parfois «Swift ne fait pas de GC classique (traçage), il utilise ARC». Mais je ne sais pas s'il y a quelque chose dans la sémantique Swift qui nécessite un comptage de références. Il semble que l'on pourrait construire son propre compilateur Swift et son propre runtime pour utiliser …

9 semantics garbage-collection

4

Qu'est-ce qu'une sorte de sémantique de langage de programmation?

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 références sont également fournies.

9 terminology programming-languages semantics

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

2

Existe-t-il une définition canonique de la fonction «pure»?

StackOverflow m'a pointé ici, donc la question pourrait être un peu en termes simples. Wikipedia définit les fonctions pures comme En programmation informatique, une fonction peut être décrite comme une fonction pure si ces deux déclarations sur la fonction sont valables: La fonction évalue toujours la même valeur de résultat …

9 terminology functional-programming semantics

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

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

1

Décrire officiellement un nouveau langage de programmation spécifique à un domaine

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 le langage en décrivant sa …

8 formal-languages programming-languages semantics

Questions marquées «semantics»