Ces termes ont été mentionnés dans mon cours universitaire. La recherche rapide sur Google m'a indiqué des articles universitaires, mais je cherche une explication simple.
Je travaille sur l'apprentissage de Haskell, et j'ai rencontré trois façons différentes de traiter les erreurs dans les fonctions que j'écris: Je peux simplement écrire error "Some error message.", ce qui lève une exception. Je peux faire revenir ma fonction Maybe SomeType, où je peux ou non être en mesure …
Y a-t-il des raisons théoriques à cela (comme que la vérification de type ou l'inférence de type deviendrait indécidable) ou des raisons pratiques (trop difficiles à mettre en œuvre correctement)? Actuellement, nous pouvons envelopper des choses newtypecomme newtype Pair a = Pair (a, a) puis avoir Pair :: * -> …
Lorsque vous expliquez le combinateur Y dans le contexte de Haskell, il est généralement noté que l'implémentation simple ne vérifie pas le type dans Haskell en raison de son type récursif. Par exemple, à partir de Rosettacode : The obvious definition of the Y combinator in Haskell canot be used …
J'étais développeur Java depuis longtemps, mais récemment, j'ai rejoint une équipe Haskell. Dans le monde java, si vous avez un grand projet, avec plusieurs équipes qui y travaillent, une approche courante consiste à utiliser un serveur d'artefacts tel que Maven pour faciliter et accélérer le développement. De nombreux outils de …
Supposons que je veuille écrire une bibliothèque qui traite des vecteurs et des matrices. Est-il possible de faire cuire les dimensions dans les types, de sorte que les opérations de dimensions incompatibles génèrent une erreur au moment de la compilation? Par exemple, je voudrais que la signature du produit scalaire …
Je sais que Haskell a déjà la possibilité de paramétrer un type sur un autre type (similaire à la programmation de modèles en C ++), mais je me demande si Haskell peut également paramétrer un type sur des valeurs - s'il prend en charge les types dépendants. Avec les types …
J'ai récemment parcouru le guide Learn You a Haskell for Great Good et comme pratique, je voulais résoudre le problème 5 du projet Euler avec, qui spécifie: Quel est le plus petit nombre positif divisible par tous les nombres de 1 à 20? J'ai décidé d'écrire d'abord une fonction déterminant …
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 interactions. Je suis impliqué dans l'enseignement des mathématiques aux classes ayant des exigences telles que les spécifications mathématiques de niveau AS et …
Fermé . Cette question doit être plus ciblée . Il n'accepte pas actuellement de réponses. Voulez-vous 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 5 ans . Il existe plusieurs frameworks Web pour …
Comment le modèle d'utilisation des gestionnaires de commandes pour gérer la persistance s'intègre-t-il dans un langage purement fonctionnel, où nous voulons rendre le code lié aux IO aussi fin que possible? Lors de l'implémentation de la conception pilotée par domaine dans un langage orienté objet, il est courant d'utiliser le …
Je me suis récemment plongé dans la programmation fonctionnelle, en particulier Haskell et F #, plus avant. Après quelques recherches sur Google, je n'ai pas pu trouver de comparaison de référence des langages fonctionnels les plus importants (Scala, F # etc.). Je sais que ce n'est pas nécessairement juste pour …
Récemment, je suis tombé une fois de plus sur les problèmes des enregistrements de Haskell, en particulier l'unicité des noms de champs. (C'est une douleur ...) J'ai déjà lu Une proposition d'enregistrements à Haskell de SPJ et Greg Morrisett, mais sa dernière mise à jour date de 2003. Un autre …
J'apprends Haskell et comme exercice je fais des arbres binaires. Ayant créé un arbre binaire régulier, je souhaite l'adapter pour qu'il s'équilibre automatiquement. Donc: Quel est le plus efficace? Quelle est la plus simple à mettre en œuvre? Lequel est le plus utilisé? Mais surtout, lequel recommandez-vous? Je suppose que …
Dans un problème d'apprentissage avec lequel je me suis amusé, j'ai réalisé que j'avais besoin d'une classe de types pour les fonctions avec des opérations d'application, de composition, etc. Raisons ... Il peut être pratique de traiter une représentation d'une fonction comme si c'était la fonction elle-même, de sorte que …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.