La programmation fonctionnelle est un paradigme de programmation qui utilise principalement des fonctions comme moyen de construire des abstractions et d'exprimer des calculs qui comprennent un programme informatique.
J'apprends Haskell et je suis fasciné par la langue. Cependant, je n'ai aucun fond sérieux en mathématiques ou en CS. Mais je suis un programmeur expérimenté. Je veux apprendre la théorie des catégories afin de devenir meilleur à Haskell. Quels sujets de la théorie des catégories devrais-je...
Quelqu'un pourrait-il expliquer la différence entre les types dépendants et les types de raffinement? Si je comprends bien, un type de raffinement contient toutes les valeurs d’un type satisfaisant un prédicat. Existe-t-il une caractéristique des types dépendants qui les distingue? Si cela peut...
La complexité de l'algorithme est conçue pour être indépendante des détails de niveau inférieur, mais elle est basée sur un modèle impératif, par exemple, l'accès au tableau et la modification d'un nœud dans une arborescence prennent un temps O (1). Ce n'est pas le cas dans les langages...
Si quelque chose est simple, alors il devrait être complètement explicable en quelques mots. Cela peut être fait pour le λ-calcul: Le λ-calcul est une grammaire syntaxique (fondamentalement, une structure) avec une règle de réduction (ce qui signifie qu'une procédure de recherche / remplacement est...
FRP consiste à diffuser des événements et des comportements via des fonctions pures. Le modèle Actor - du moins, tel qu'il est implémenté dans Akka - consiste à diffuser des messages immuables (qui peuvent être considérés comme des événements discrets) à travers des objets potentiellement impurs,...
Je lis depuis quelques semaines sur le Lambda Calculus, mais je n'ai encore rien vu qui soit matériellement distinct des fonctions mathématiques existantes, et je veux savoir si c'est juste une question de notation, ou s'il y a de nouvelles propriétés ou règles créées par les axiomes de calcul...
Existe-t-il une référence claire, avec un pseudo-code, sur la façon d'implémenter un interpréteur Prolog dans un langage purement fonctionnel? Ce que j'ai trouvé jusqu'à présent semble ne concerner que les langages impératifs, n'est qu'une démonstration de Prolog implémenté en soi, ou n'offre aucun...
Dans le même esprit que cette déclaration d' Andrej Bauer dans cette réponse La communauté Haskell a développé un certain nombre de techniques inspirées de la théorie des catégories, dont les monades sont les plus connues mais ne doivent pas être confondues avec les monades . Quelle est la relation...
Cette question a été migrée depuis Stack Overflow car il est possible d'y répondre sur Computer Science Stack Exchange. Migré il y a 5 ans . J'apprends toujours la programmation fonctionnelle (avec f #) et j'ai récemment commencé à lire sur les expressions de calcul. Je ne comprends toujours pas...
En lisant la réponse d' Uday Reddy à Quelle est la relation entre les foncteurs en SML et la théorie des catégories? États Uday La théorie des catégories ne sait pas encore comment gérer les fonctions d'ordre supérieur. Un jour, ce sera le cas. Comme je pensais que la théorie des catégories pouvait...
La programmation fonctionnelle utilise des structures de données persistantes et des objets immuables. Ma question est pourquoi est-il crucial d'avoir de telles structures de données ici? Je veux comprendre à un bas niveau ce qui se passerait si la structure des données n'était pas persistante? Le...
Après avoir appris Haskell et d'autres langages de FP pas si purs, j'ai décidé de lire sur la théorie des catégories. Après avoir acquis une bonne compréhension de la théorie des catégories, j'ai commencé à réfléchir à la façon dont les concepts de la théorie des catégories peuvent être utilisés...
Je suis un étudiant universitaire et nous étudions actuellement le lambda calcul. Cependant, j'ai encore du mal à comprendre exactement pourquoi cela est utile pour moi. Je me rends compte que si vous faites beaucoup de programmation fonctionnelle, cela pourrait être utile, mais je pense que ce...
Je regardais la conférence de Jim Weirich, intitulée « Aventures dans la programmation fonctionnelle ». Dans cette conférence, il présente le concept de combinateurs Y, qui trouve essentiellement le point fixe pour les fonctions d'ordre supérieur. L'une des motivations, comme il le mentionne, est...
Les structures de données persistantes sont des structures de données immuables. Les opérations sur eux renvoient une nouvelle "copie" de la structure de données, mais modifiée par l'opération; l'ancienne structure de données reste cependant inchangée. L'efficacité est généralement obtenue en...
Les arbres dynamiques jouent un rôle important dans la résolution de problèmes tels que les flux de réseau, les graphiques dynamiques, les problèmes combinatoires ("Dynamic Trees in Practice" par Tarjan et Werneck) et la fusion récente de dictionnaires ("A Simple Mergeable Dictionary" par Adam...
Notre professeur nous a demandé de penser à une fonction dans OCaml qui a le type 'a -> 'b c'est-à-dire une fonction d'un argument qui pourrait être n'importe quoi, et qui peut retourner un autre chose. J'ai pensé à utiliser raisedans une fonction qui ignore son argument: let f x = raise Exit...
Selon cet article, la ligne suivante de code Lisp imprime "Hello world" sur la sortie standard. (format t "hello, world") Le lisp, qui est un langage homoiconique , peut traiter le code comme des données de cette manière: Imaginez maintenant que nous avons écrit la macro suivante: (defmacro...
Je suis récemment devenu extrêmement intéressé par la compréhension et la démonstration d'aspects des langages de programmation (fonctionnels). Cependant, alors que je plonge plus profondément, des choses comme calcul, la théorie des catégories et la sémantique dénotationnelle sont un peu...
Dans l'article de Philip Wadler sur les théorèmes gratuits, il déclare dans la section 2 sur la paramétrie que il n'y a pas de modèles naïfs de théorie des ensembles du calcul lambda polymorphe Dans le modèle naïf de la théorie des ensembles, les types sont des ensembles et les fonctions sont des...