Informatique théorique functional-programming

2

Quelle structure de données persistante pour un ensemble d'éléments partiellement ordonnés?

J'ai besoin de stocker des ensembles d'éléments de type a. Le type a est partiellement ordonné, donc comparer et un 2 peut retourner plus petit, plus grand, égal ou incomparable.une1une1a_1une2une2a_2 Un problème avec les tables de hachage est que deux éléments égaux peuvent être représentés différemment, et je n'ai pas …

15 ds.data-structures functional-programming sorting

2

Qu'est-ce qu'une fermeture éclair et comment est-elle liée à une structure arborescente?

Je lisais un chapitre de LYAH qui n'avait pas vraiment de sens pour moi. Je comprends que les fermetures à glissière peuvent traverser arbitrairement une structure arborescente, mais j'ai besoin de précisions à ce sujet. De plus, les fermetures à glissière peuvent-elles être généralisées à n'importe quelle structure de données?

15 ds.data-structures functional-programming tree

1

Pourquoi les langages de programmation fonctionnels nécessitent-ils un garbage collection?

Qu'est-ce qui empêche ghc de traduire Haskell en un langage de programmation concaténatif tel que la logique combinatoire, puis d'utiliser simplement l'allocation de pile pour tout? Selon Wikipedia, la traduction du calcul lambda à la logique combinatoire est triviale, et les langages de programmation concaténatifs peuvent compter uniquement sur une …

14 functional-programming haskell

1

Une description mathématique (catégorique) des classes de type

Un langage fonctionnel peut être considéré comme une catégorie où ses objets sont des types et des fonctions de morphismes entre eux. Comment les classes de types s'intègrent-elles dans ce modèle? Je suppose que nous ne devons considérer que les implémentations qui satisfont à la contrainte de la plupart des …

14 lo.logic functional-programming ct.category-theory denotational-semantics type-systems

2

Équivalent purement fonctionnel de B-Tree?

J'explore l'idée d'écrire un SGBD de manière purement fonctionnelle. La structure de données traditionnelle utilisée pour l'indexation est B-Tree. J'aimerais connaître un équivalent purement fonctionnel de B-Tree qui serait optimisé pour minimiser l'accès au disque. Merci.

14 ds.data-structures functional-programming db.databases

3

Mélange associatif de hachage

Considérez la liste faiblement liée dans un cadre purement fonctionnel. Ses louanges ont été chantées du haut des montagnes et continueront d'être chantées. Ici, je vais aborder l'une de ses nombreuses forces et la question de savoir comment l'étendre à la classe plus large de séquences purement fonctionnelles basées sur …

14 ds.data-structures cr.crypto-security functional-programming hash-function

2

Théorie des catégories et analyseurs - références recherchées

Étant donné que je suis intéressé par les analyseurs (principalement les grammaires d'expression des analyseurs), je me demande s'il y a du travail qui donne un traitement catégorique de l'analyse. Toute référence sur les applications de la théorie des catégories à l'analyse syntaxique est très appréciée. Meilleur,

13 reference-request functional-programming ct.category-theory parsing

2

Continuation passant la transformation des fonctions binaires

Rappelons la transformation de passage de continuation (transformée CPS) qui prend à β A : = R R A (où R est fixe) et f : A → B à β f : β A → β B défini par βUNEUNEAβUNE : = RRUNEβUNE:=RRUNE\beta A \mathrel{{:}{=}} R^{R^A}RRRF: A → BF:UNE→Bf …

13 functional-programming monad continuations cps-transforms

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 …

13 reference-request ds.data-structures pl.programming-languages functional-programming logic-programming

1

Qu'est-ce qui rend un langage (et son système de types) capable de prouver des théorèmes sur ses propres termes?

J'ai récemment tenté d'implémenter le Cedille-Core d' Aaron , un langage de programmation minimaliste capable de prouver des théorèmes mathématiques sur ses propres termes. J'ai également prouvé l'induction de types de données codés λ dessus, ce qui a permis de comprendre pourquoi ses extensions seraient nécessaires. Nether Nether, je me …

12 type-theory functional-programming constructive-mathematics

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 …

12 pl.programming-languages functional-programming haskell monad applicative

2

Arbres équilibrés simples avec O (1) concat?

Dans les pires cas purement fonctionnels , les listes triées caténables à temps constant , Brodal et al. présentent des arbres équilibrés purement fonctionnels avec O (1) concaténé et O (lg n) insèrent, suppriment et trouvent. La structure des données est quelque peu compliquée. Existe-t-il un arbre de recherche équilibré …

12 functional-programming ds.data-structures

1

Que signifie exactement un effet secondaire «sémantiquement observable»?

J'ai une question concernant les fonctions pures. Selon la page Wikipedia, l'une des conditions requises pour une fonction pure est: L'évaluation du résultat ne provoque aucun effet secondaire ou sortie sémantiquement observable, comme une mutation d'objets mutables ou une sortie vers des dispositifs d'E / S. Maintenant, qu'est-ce que cela …

11 functional-programming semantics

3

Quels algorithmes peuvent être exprimés en utilisant un langage fonctionnel total avec des opérateurs de données parallèles?

Imaginez un langage de programmation fonctionnel dont les seuls types de données sont des scalaires numériques et des imbrications arbitraires de tableaux. La langue ne dispose d'aucun moyen d'itération illimitée, les éléments suivants sont donc interdits: boucles explicites (pas très utiles sans effets secondaires de toute façon) récursivité fonctions arbitraires …

11 complexity-classes functional-programming dc.parallel-comp

1

Comment codez-vous l'algorithme abstrait de Lamping à l'aide de combinateurs d'interaction?

Des combinateurs d'interaction ont été proposés comme cible de compilation pour le λ-calcul auparavant. Cet article met en œuvre le λ-calcul complet. Il est également connu qu'il est possible d' optimiser les codages en réseau d'interaction du λ-calcul pour le sous-ensemble de λ-termes qui est typable EAL. Cet article met …

10 lambda-calculus functional-programming interaction-nets

Questions marquées «functional-programming»