Je vois maintenant que Racket a des types. À première vue, il semble être presque identique à la frappe Haskell. Mais le CLOS de Lisp couvre-t-il une partie de l'espace couvert par les types Haskell? La création d'un type Haskell très strict et d'un objet dans n'importe quel langage OO semble...
J'ai compris que bien avant Haskell, O'Caml ou LISP, les fonctions d'ordre supérieur étaient un sujet de recherche universitaire et en mathématiques, Schönfinkel (en 1967) et Haskell Curry (en 1968) appliquaient déjà des techniques telles que le curry, mais que était avant qu'il ne soit disponible...
Fermé . Cette question doit être plus ciblée . Il n'accepte pas actuellement les réponses. Vous souhaitez améliorer cette question? Mettez à jour la question pour qu'elle se concentre sur un seul problème en modifiant ce post . Fermé il y a 6 ans . Je ne comprends tout simplement pas quel problème...
Récemment, je suis devenu profondément intéressé par Haskell. Tout en essayant d'apprendre de nouveaux concepts (par exemple le mot - clé forall et la monade ST ) et le système de types de Haskell en général, je rencontre continuellement des concepts de la théorie des catégories et du calcul lambda...
La plupart de la syntaxe Haskell a la beauté de la pureté. Mais la syntaxe d'enregistrement semble moche. C'est inconfortable. Il se sent une sorte de mélange avec C. Il nécessite une virgule et des accolades. Haskell a une séparation par tabulation et par ligne. Il semble donc trop verbeux qu'il...
Il est difficile de dire ce qui est demandé ici. Cette question est ambiguë, vague, incomplète, trop large ou rhétorique et on ne peut raisonnablement y répondre sous sa forme actuelle. Pour obtenir de l'aide pour clarifier cette question afin qu'elle puisse être rouverte, visitez le centre d'aide...
Il semble que toute instance Bounded devrait avoir une implémentation saine d'Enum. Je ne peux pas personnellement penser à un contre-exemple, bien que si quelqu'un en trouve un qui n'est pas pathologique, je comprendrai pourquoi ce n'est pas le cas. En faisant :isur les deux classes de caractères,...
Fermé . Cette question doit être plus ciblée . Il n'accepte pas actuellement les réponses. Vous souhaitez améliorer cette question? Mettez à jour la question pour qu'elle se concentre sur un seul problème en modifiant ce post . Fermé il y a 4 ans . L'article original de Wadler sur les Monades pour...
Je voulais essayer des graphiques dans Haskell. D'après ce que j'ai vu, les bibliothèques disponibles sont soit des frontaux pour les bibliothèques C / C ++, soit une abstraction d'entre elles avec des fonctionnalités minimales. Les bibliothèques de haut niveau ne semblent pas répondre à mes...
On m'a dit dans des questions précédentes que les langages de programmation fonctionnels ne conviennent pas aux systèmes dynamiques tels qu'un moteur physique, principalement parce qu'il est coûteux de muter des objets. Dans quelle mesure cette affirmation est-elle réaliste et...
L'un des principes de la programmation fonctionnelle est l'utilisation de fonctions pures. Une fonction Pure est une fonction sans effets secondaires et transparente par référence. Les Getters ne sont pas référentiellement transparents - si un Setter est appelé entre des appels au Getter, la valeur...
Je me demande ce qui est mieux en termes de conception pour l'utilisabilité / la maintenabilité, et ce qui est mieux en ce qui concerne la communauté. Étant donné le modèle de données: type Name = String data Amount = Out | Some | Enough | Plenty deriving (Show, Eq) data Container = Container Name...
J'ai lu que Go n'a pas vraiment d'inférence de type dans le sens où les langages fonctionnels tels que ML ou Haskell l'ont fait, mais je n'ai pas pu trouver une comparaison simple à comprendre des deux versions. Quelqu'un pourrait-il expliquer en termes de base en quoi l'inférence de type dans Go...
Le modèle architectural de tuyau et de filtre est défini comme une chaîne d'éléments de traitement, disposée de telle sorte que la sortie de chaque élément soit l'entrée du suivant . Chaque exemple semble considérer la connexion inter-processus ou inter-thread effectuée via une sorte de tampon...
Je souhaite implémenter une banque de données en mémoire pour un service Web à Haskell. Je veux exécuter des transactions dans la STMmonade. Lorsque je google table de hachage sur Steam Haskell, je n'obtiens que ceci: Data. BTree. HashTable. STM.Le nom et la complexité du module suggèrent que cela...
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement les 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 4 ans . Je suis principalement un développeur...