Haskell est un langage de programmation fonctionnel comprenant un typage statique fort, une évaluation paresseuse, un support étendu du parallélisme et de la concurrence, et des capacités d'abstraction uniques.
Après avoir brièvement examiné Haskell récemment, quelle serait une explication brève, succincte et pratique de ce qu'est essentiellement une monade? J'ai trouvé que la plupart des explications que j'ai rencontrées étaient assez inaccessibles et manquaient de détails
Je jure qu'il y avait un T-shirt à vendre avec les mots immortels: Quelle partie de tu ne comprends pas ? Dans mon cas, la réponse serait ... tout! En particulier, je vois souvent une notation comme celle-ci dans les articles de Haskell, mais je n'ai aucune idée de ce que cela signifie. Je n'ai...
Les réponses à cette question sont un effort communautaire . Modifiez les réponses existantes pour améliorer ce post. Il n'accepte pas actuellement de nouvelles réponses ou interactions. Pendant quelques jours, j'ai essayé de faire le tour du paradigme de la programmation fonctionnelle dans...
Qui a d'abord dit ce qui suit? Une monade n'est qu'un monoïde dans la catégorie des endofoncteurs, quel est le problème? Et sur une note moins importante, est-ce vrai et si oui, pourriez-vous donner une explication (si tout va bien une qui peut être comprise par quelqu'un qui n'a pas beaucoup...
Quelle est la différence entre le point (.)et le signe dollar ($)? Si je comprends bien, ils sont tous deux du sucre syntaxique pour ne pas avoir besoin d'utiliser de
J'ai pris le problème # 12 de Project Euler comme un exercice de programmation et pour comparer mes implémentations (sûrement pas optimales) en C, Python, Erlang et Haskell. Afin d'obtenir des temps d'exécution plus élevés, je recherche le premier numéro de triangle avec plus de 1000 diviseurs au...
Je dois admettre que je ne connais pas grand-chose à la programmation fonctionnelle. Je l'ai lu ici et là, et j'ai donc appris que dans la programmation fonctionnelle, une fonction renvoie la même sortie, pour la même entrée, peu importe combien de fois la fonction est appelée. C'est exactement...
Fermé . Cette question doit être plus ciblée . Il n'accepte pas actuellement de réponses. Fermé il y a 3 ans . Verrouillé . Cette question et ses réponses sont verrouillées car la question est hors sujet mais a une signification historique. Il n'accepte pas actuellement de nouvelles réponses ou...
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 6 ans . Il y a beaucoup de battage médiatique autour...
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement de réponses. Vous souhaitez améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 2 ans . Améliorez cette question J'ai récemment...
De la documentation pour GHC 7.6: [V] ous n'avez souvent même pas besoin du pragma SPECIALIZE en premier lieu. Lors de la compilation d'un module M, l'optimiseur de GHC (avec -O) considère automatiquement chaque fonction surchargée de niveau supérieur déclarée dans M, et la spécialise pour les...
Je l' ai vu le terme gratuit Monad pop - up chaque maintenant et puis pendant un certain temps, mais tout le monde semble juste d'utiliser / en discuter sans donner une explication de ce qu'ils sont. Alors: que sont les monades gratuites? (Je dirais que je connais les monades et les bases de...
À mon humble avis, les réponses à la fameuse question "Qu'est-ce qu'une monade?" , en particulier les plus votés, essayez d'expliquer ce qu'est une monade sans expliquer clairement pourquoi les monades sont vraiment nécessaires . Peut-on l'expliquer comme la solution à un
Dans l'état actuel des choses, cette question ne convient pas à notre format de questions / réponses. Nous nous attendons à ce que les réponses soient étayées par des faits, des références ou une expertise, mais cette question suscitera probablement un débat, des arguments, des sondages ou une...
J'ai entendu le terme "coalgebras" à plusieurs reprises dans la programmation fonctionnelle et les cercles PLT, en particulier lorsque la discussion porte sur des objets, des comonades, des lentilles, etc. Googler ce terme donne des pages qui donnent une description mathématique de ces structures...
Voici le scénario: j'ai écrit du code avec une signature de type et GHC ne peut pas déduire x ~ y pour certains xet y. Vous pouvez généralement lancer un os GHC et simplement ajouter l'isomorphisme aux contraintes de fonction, mais c'est une mauvaise idée pour plusieurs raisons: Il ne met pas...
Je commence à comprendre comment le forallmot-clé est utilisé dans les soi-disant "types existentiels" comme ceci: data ShowBox = forall s. Show s => SB s Ce n'est qu'un sous-ensemble, cependant, de la façon dont il forallest utilisé et je ne peux tout simplement pas me concentrer sur son...
Que signifie la forme normale de la tête faible (WHNF)? Que signifient la forme normale de la tête (HNF) et la forme normale (NF)? Le monde réel Haskell déclare: La fonction seq familière évalue une expression à ce que nous appelons la forme normale de tête (en abrégé HNF). Il s'arrête une fois...
L'expression «algébrique» pour les types de données algébriques semble très suggestive pour une personne ayant une formation en mathématiques. Permettez-moi d'essayer d'expliquer ce que je veux dire. Après avoir défini les types de base Produit • syndicat + Singleton X Unité 1 et en utilisant le...
Je veux étudier FRP à Haskell, mais c'est un peu difficile de décider d'une bibliothèque à utiliser. Beaucoup semblent être des tentatives mortes, certains semblent avoir été ressuscités (comme la récente activité sur Yampa). D'après ce que j'ai lu, il semble qu'il existe deux "types" de FRP: le...