Je pense que je suis assez confus à propos de ce qu'on appelle un calcul et ce qu'on appelle un langage de programmation. J'ai tendance à penser, et on aurait pu le dire, qu'un calcul est un système formel de raisonnement sur l'équivalence des programmes. Les programmes ont une sémantique...
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...
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 prise RealWorld -> (a,...
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...
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...
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, à mon humble...
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 |...
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 de...
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...
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...
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...
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 in Z if x then T else F; Z => if x then...
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...
Est-il théoriquement possible de spécifier un langage de programmation pour lequel aucune implémentation ne pourrait exister? Un langage de programmation est un moyen de définir des fonctions. Une implémentation signifie une méthode pour exécuter un programme donné dans ce langage sur une entrée...
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),...
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...
Existe-t-il des langages de programmation (ou logique) qui peuvent implémenter (ou exprimer) une fonction si et seulement si est une fonction bijective calculable? ff:N→Nf:N→Nf:\mathbb{N}\to
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...
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...
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