Les CPU sont dans une certaine mesure conçus en tenant compte du logiciel que les gens vont écrire pour cela, implicitement ou explicitement. Il me semble que si vous regardez la conception des architectures de jeux d'instructions, elles sont très "impératives", dans le sens où chaque instruction...
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...
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...
La programmation fonctionnelle a le très élégant Lambda Calculus et ses variantes comme théorie de sauvegarde. Y a-t-il une telle chose pour OOP? Qu'est-ce qu'une abstraction pour le modèle orienté
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...
Sur le wiki haskell, il y a l'exemple suivant d'utilisation conditionnelle de la monade IO (voir ici) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Notez que dans cet exemple, la définition de IO aest prise RealWorld -> (a,...
Je pense comprendre comment la déforestation consomme et produit une liste en même temps (à partir d'une fonction de pliage et de dépliage - voir cette bonne réponse sur CodeReview ici ), mais quand je l'ai comparé avec l' entrée de wikipedia sur la technique dont il a parlé de `` supprimer arbres...
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...
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...
Dans un commentaire à Learning F #: Quels livres utilisant d'autres langages de programmation peuvent être traduits en F # pour apprendre des concepts fonctionnels? Makarius a déclaré: Notez que l'approche "CPS" a fait un grand tort aux performances en SML / NJ. Son modèle d'évaluation physique...
Il a été porté à mon attention que le coût de l'inférence de type dans un langage fonctionnel comme OCaml peut être très élevé. L'affirmation est qu'il existe une séquence d'expressions telle que pour chaque expression, la longueur du type correspondant est exponentielle sur la longueur de...
Je travaille sur un langage d'expression de la généalogie ML, il a donc naturellement besoin d'une inférence de type> :) Maintenant, j'essaie d'étendre une solution basée sur des contraintes au problème de l'inférence des types, basée sur une implémentation simple en EOPL (Friedman et Wand),...
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
Les Self Types sont une extension du Calcul des constructions [1] qui permettent au langage d'exprimer des types de données algébriques encodés par le Scott Encoding. Le Scott Encoding offre une possibilité de correspondance de motifs O(1), qui est l'un des principaux facteurs de motivation pour...
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....
Je ne connais pas la terminologie correcte pour poser cette question, donc je vais la décrire avec beaucoup de mots à la place, supportez-moi. Contexte , juste pour que nous soyons sur la même longueur d'onde: les programmes contiennent souvent des caches - un compromis temps / mémoire. Une erreur...
Je veux fournir des preuves pour des parties d'un programme Haskell que j'écris dans le cadre de ma thèse. Jusqu'à présent cependant, je n'ai pas réussi à trouver un bon ouvrage de référence. Le livre d'introduction de Graham Hutton, Programming in Haskell ( Google Books ) - que j'ai lu tout en...
StackOverflow m'a pointé ici, donc la question pourrait être un peu en termes simples. Wikipedia définit les fonctions pures comme En programmation informatique, une fonction peut être décrite comme une fonction pure si ces deux déclarations sur la fonction sont valables: La fonction évalue...
Disons que les listes sont définies comme List a = Nil | Cons a (List a) Alors, à Haskell est List xle plus grand point ou le moins fixe? Je demande parce que le lfp devrait exclure les listes infinies (mais vous pouvez les construire dans Haskell), tandis que le gfp devrait exclure les listes...
Bien que je travaille en tant que programmeur dans ma vie quotidienne et que j'utilise tous les langages à la mode (Python, Java, C, etc.), je n'ai toujours pas de vision claire de ce qu'est la programmation fonctionnelle. D'après ce que j'ai lu, une propriété des langages fonctionnels est que les...