L'informatique programming-languages

4

Pouvez-vous spécifier un langage de programmation sans implémentation?

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 donnée à la sortie de la fonction …

11 formal-languages computability programming-languages

1

Types de citoyen de première classe

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 …

10 programming-languages language-design types

8

Nom correspondant pour «sans effet secondaire»?

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 latéralement"?

10 terminology programming-languages

2

Qu'est-ce qui rend le calcul lambda pertinent à étudier?

Je commence un cours de premier cycle en informatique à l'automne prochain, mais je ne peux pas vraiment comprendre le λ-calcul dans le contexte de la programmation fonctionnelle. Je peux mal interpréter cela complètement, mais basé sur cette définition de la Stanford Encyclopedia of Philosophy, c'est juste une autre notation …

10 programming-languages lambda-calculus

3

fonctions lambda anonymes (programmation fonctionnelle)

Que sont les fonctions anonymes (lambda)? Quelle est la définition formelle d'une fonction anonyme dans un langage de programmation fonctionnel? En termes simples, lorsque je programme en schéma / lisp, je dirais qu'une fonction anonyme (lambda) est une fonction qui n'est pas liée à un identifiant. Est-ce tout ce que …

10 logic programming-languages lambda-calculus functional-programming

1

Un langage de programmation qui ne peut implémenter que des fonctions bijectives calculables?

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 \mathbb{N}fff

10 reference-request programming-languages logic reversible-computing

3

Polymorphisme et types de données inductifs

Je suis curieux. J'ai travaillé sur ce type de données dans OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Qui peut être manipulé en utilisant des fonctions récursives explicitement typées (une fonctionnalité …

10 logic programming-languages coq inductive-datatypes

2

Quelle est la différence entre les variables et les pointeurs?

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

10 terminology programming-languages

2

Compiler un langage de programmation avec lui-même

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

10 programming-languages compilers

1

Alternatives à la défonctionnalisation

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 supérieur?

10 programming-languages functional-programming

3

Pourquoi l'état reste-t-il inchangé dans la sémantique opérationnelle à petite étape d'une boucle while?

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

9 formal-languages programming-languages formal-methods operational-semantics

1

Lorsqu'il est utilisé comme pile d'appels, les piles de spaghettis sans déchets forment-elles un DAG?

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 simplifier, considérons uniquement …

9 data-structures programming-languages continuations

1

Qu'est-ce qu'un exemple non artificiel de vérification de type statique trop conservatrice?

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 (expression-with-type-error) Quelqu'un peut-il fournir une réponse non artificielle qui serait vraiment une préoccupation pratique? Je comprends …

9 programming-languages compilers type-checking

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

L'algorithme d'exclusion mutuelle à 2 processus de Peterson tient-il compte des processus mourants?

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é, le reste …

9 programming-languages concurrency mutual-exclusion

Questions marquées «programming-languages»