Questions marquées «functional-programming»

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.

3
Fonction ML de type 'a ->' b
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 …
3
Comment rendre une langue homoiconique
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 backwards (expr) …
3
Étudier la théorie du langage de programmation
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 difficiles à comprendre sans explication appropriée.λλ\lambda J'ai lu SICP (un …
2
Existe-t-il des articles évalués par des pairs qui étudient les avantages et les inconvénients de la programmation fonctionnelle?
Quelqu'un peut-il me renvoyer à des articles évalués par des pairs qui étudient les avantages ou les inconvénients de l'écriture de code dans un style fonctionnel? Existe-t-il des articles qui discutent des applications de Lambda Calculus dans des domaines tels que l'apprentissage automatique, la conception de langage, etc.?
2
Les fonctions d'ordre supérieur fournissent-elles plus de puissance à la programmation fonctionnelle?
J'ai posé une question similaire sur cstheory.SE . Selon cette réponse sur Stackoverflow, il existe un algorithme qui, sur un langage de programmation fonctionnel pur non paresseux, a une complexité , tandis que le même algorithme en programmation impérative est Ω ( n ) . Ajouter la paresse au langage …
2
Les architectures de CPU sont-elles orientées vers les temps d'exécution procéduraux?
Y a-t-il des modifications qui pourraient être apportées aux processeurs pour les rendre plus performants pour des exécutions simultanées comme Rust? Par exemple, y a-t-il des changements dans les implémentations de prédiction de branche ou les tailles de cache qui pourraient aider les exécutions simultanées? J'ai l'impression que les conceptions …
1
Des propriétés telles que l'utilisation de la mémoire d'une fonction peuvent-elles être exprimées dans un langage typé de manière dépendante?
Supposons que l'on veuille raisonner sur les propriétés du code au-delà de choses comme la totalité et la pureté fonctionnelle - on se soucie également de la consommation de mémoire ou de la complexité algorithmique d'une fonction. Cela peut-il être fait à l'aide de systèmes de typage et d'effets dépendants?
2
Mise en œuvre de structure de données immuable (persistante) de type tableau avec indexation rapide, ajout, pré-ajout, itération
Je recherche une structure de données persistante similaire à un tableau (mais immuable), permettant des opérations d'indexation, d'ajout, de pré-ajout et d'itération rapides (bonne localité). Clojure fournit un vecteur persistant, mais ce n'est que pour un ajout rapide. Le vecteur de Scala a effectivement un ajout et un pré-ajout à …
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.