Questions marquées «pl.programming-languages»

Langages de programmation, en particulier, centrés sur leur sémantique.

2
Listes de différences dans la programmation fonctionnelle
La question Quoi de neuf dans les structures de données purement fonctionnelles depuis Okasaki? , et la réponse épique de jbapple, mentionnant l'utilisation de listes de différences dans la programmation fonctionnelle (par opposition à la programmation logique), ce qui m'a récemment intéressé. Cela m'a amené à trouver l' implémentation de …
2
Quelles sont les relations entre Alternative, MonadPlus (LeftCatch) et MonadPlus (LeftDistributive)?
Suivi Quel est un exemple d'une Monade qui est une Alternative mais pas un MonadPlus? : Supposons que est une monade. Quelles sont les relations betweem m étant une alternative , un MonadPlusCatch et un MonadPlusDistr ? mmmmmmPour chacune des six paires possibles, j'aimerais avoir soit une preuve que l'une …
2
Existe-t-il un aperçu de la sémantique des différentes fonctionnalités du langage de programmation?
Existe-t-il un aperçu (à partir d'un article, d'un chapitre de livre, d'un tutoriel, de liens, ...) de la sémantique des différentes fonctionnalités du langage de programmation? J'étais à l'origine submergé par les fonctionnalités de D ici http://www.digitalmars.com/d/2.0/comparison.html Je voudrais voir ce que je pourrais obtenir d'ici, bien que j'ai posé …
2
Substitution héréditaire avec une hiérarchie d'univers
J'ai lu des informations sur la substitution héréditaire pour le calcul lambda simple et pour le cadre logique avec des termes et des types distincts. Je me demande, existe-t-il des exemples de substitution héréditaire dans un système typé de façon dépendante avec une hiérarchie d'univers? c'est-à-dire où True:Set0:Set1:Set2True:Set0:Set1:Set2 True : …
2
Références aux langages de programmation basés sur des logiques conditionnelles
Les logiques conditionnelles sont des logiques qui augmentent l'implication logique traditionnelle avec des opérateurs modaux correspondant à d'autres notions de condition (par exemple, le conditionnel causal lit " A provoque" B ", ou conditionnement probabiliste" A | B ", qui se lit" A donné B ").UNE□→ BUNE◻→BA\; \square\!\!\!\!\to BUNEUNEAA | …
3
Pour quelles langues existe-t-il déjà une théorie de l'équivalence observationnelle?
Pour une preuve d'exactitude, je cherche une notion utilisable d'équivalence de programme pour les systèmes de type pur de Barendregt (PTS); manque cela, pour suffisamment de systèmes de types spécifiques. Mon but est simplement d'utiliser la notion, pas de la rechercher pour elle-même.≅≅\cong Cette notion devrait être " extensionnelle " …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.