L'informatique programming-languages

3

Pourquoi l'utilisation d'un lexer / analyseur sur des données binaires est-elle si mauvaise?

Je travaille souvent avec lexer / parsers , par opposition à un combinateur d'analyseurs et je vois des gens qui n'ont jamais suivi de cours d'analyse, poser des questions sur l'analyse des données binaires. En règle générale, les données sont non seulement binaires, mais également contextuelles. Cela conduit à n'avoir …

13 programming-languages compilers parsers

3

Quels autres langages de programmation en dehors de Python et du prédécesseur utilisent-ils l'indentation pour définir des blocs de code? [fermé]

Fermé. Cette question est hors sujet . Il n'accepte pas actuellement les réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin qu'elle soit sur le sujet pour Computer Science Stack Exchange. Fermé il y a 11 mois . Python utilise assez bien l'indentation pour définir syntaxiquement des blocs …

12 programming-languages python syntax

1

La monade IO est-elle techniquement incorrecte?

Sur le wiki haskell, il y a l'exemple suivant d'utilisation conditionnelle de la monade IO (voir ici) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Notez que dans cet exemple, la définition de IO aest …

12 programming-languages functional-programming haskell

1

Pourquoi ne cherchons-nous pas davantage vers des garanties de temps de compilation?

J'adore tout ce qui est temps de compilation et j'adore l'idée qu'une fois que vous compilez un programme, de nombreuses garanties sont faites concernant son exécution. De manière générale, un système de type statique (Haskell, C ++, ...) semble donner des garanties de compilation plus fortes que tout système de …

12 programming-languages type-theory type-checking software-verification

2

Calcul lambda: différence entre les contextes et les contextes d'évaluation

Tout d'abord, je voudrais dire que mon texte ci-dessous peut contenir des erreurs, alors n'hésitez pas à signaler toute erreur dans ma formulation de la question. Considérons un calcul lambda non typé avec des booléens et des instructions if dont les termes sont donnés par cette syntaxe: t ::= v …

12 programming-languages lambda-calculus

3

Relation entre la théorie des types russellienne et les systèmes de types

Je me suis récemment rendu compte qu'il existe une sorte de relation entre la théorie des types russellienne et les systèmes de types, comme par exemple dans Haskell. En fait, une partie de la notation des types dans Haskell semble avoir des précurseurs dans la théorie des types. Mais, à …

12 programming-languages type-theory

4

Quelqu'un peut-il donner un exemple simple mais non jouet d'une grammaire contextuelle?

J'essaie de comprendre les grammaires contextuelles. Je comprends pourquoi des langues comme { w w ∣ w ∈ A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} { anbncn∣ n ∈ N }{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} ne sont pas sans contexte, mais ce que j'aimerais savoir si un langage similaire au calcul lambda …

12 formal-grammars programming-languages lambda-calculus context-sensitive

4

Est-il sensé d'avoir à la fois le concept de «nul» et de «peut-être»?

Lors de la création d'un client pour une API Web en C #, j'ai rencontré un problème concernant nullla valeur où cela représenterait deux choses différentes: rien , par exemple un foopeut ou peut ne pas avoir unbar inconnu : par défaut, la réponse de l'API ne comprend qu'un sous-ensemble …

11 programming-languages language-design

1

Outil de prototypage de sémantique de langage de programmation

Existe-t-il un outil pour prototyper la sémantique et le système de type d'un langage de programmation et qui permet également une sorte de vérification du modèle des propriétés standard, comme la solidité du type? Je pose cette question, car je lis un livre sur Alloy et il fournit la fonctionnalité …

11 reference-request programming-languages semantics model-checking

4

Pourquoi devons-nous échanger l'abstraction contre la vitesse?

Pourquoi les langues de haut niveau ne semblent-elles jamais atteindre des langues de niveau inférieur en termes de vitesse? Des exemples de langages de haut niveau seraient Python, Haskell et Java. Les langages de bas niveau seraient plus difficiles à définir, mais disons que C. Des comparaisons peuvent être trouvées …

11 programming-languages performance

3

Quelle est la différence entre les types de données abstraits et les objets?

Une réponse sur Programmers.SE caractérise un essai de Cook (les objets ne sont pas des ADT ) comme disant Les objets se comportent comme une fonction caractéristique sur les valeurs d'un type, plutôt que comme une algèbre. Les objets utilisent l'abstraction procédurale plutôt que l'abstraction de type Les ADT ont …

11 programming-languages object-oriented abstract-data-types

2

Pourquoi le point le moins fixe (lfp) est-il important dans l'analyse de programme

J'essaie d'avoir une vue d'ensemble de l'importance du point le moins fixe (lfp) dans l'analyse de programme. Par exemple, l'interprétation abstraite semble utiliser l'existence de lfp. De nombreux documents de recherche sur l'analyse de programme se concentrent également fortement sur la recherche du point le moins fixe. Plus précisément, cet …

11 programming-languages finite-model-theory fixed-point

1

Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

1

Inférence de type basée sur des contraintes avec des données algébriques

Je travaille sur un langage d'expression de la généalogie ML, il a donc naturellement besoin d'une inférence de type> :) Maintenant, j'essaie d'étendre une solution basée sur des contraintes au problème de l'inférence des types, basée sur une implémentation simple en EOPL (Friedman et Wand), mais ils décalent élégamment les …

11 programming-languages type-theory functional-programming inductive-datatypes typing

5

Définition de l'état d'un objet en POO

J'ai besoin d'une définition concise de "l'état d'un objet" dans la programmation orientée objet (pour un article). Pendant environ une demi-journée, j'ai cherché un article que je peux citer sur ce sujet, mais je n'en ai pas trouvé un. Tous les articles que j'ai trouvés étaient principalement des articles généraux …

11 terminology reference-request programming-languages object-oriented

Questions marquées «programming-languages»