J'ai lu un peu sur la sémantique dénotationnelle (DS) et je suis très intrigué par le processus de conception de programmes informatiques où les types et les fonctions ont des correspondances fortes et claires avec les mathématiques. Existe-t-il des ressources pour discuter en détail de la...
Tout en apprenant Haskell, j'ai fait face à de nombreux tutoriels essayant d'expliquer ce que sont les monades et pourquoi les monades sont importantes dans Haskell. Chacun d'eux a utilisé des analogies, il serait donc plus facile de saisir le sens. À la fin de la journée, je me retrouve avec 3...
Cette question a été migrée depuis Stack Overflow car il est possible d'y répondre sur Software Engineering Stack Exchange. Migré il y a 8 ans . Une chose avec laquelle je n'ai jamais tout à fait accepté dans Haskell est de savoir comment vous pouvez avoir des constantes et des fonctions...
Je sais que c'est une question très large, ambiguë et peut-être philosophique. Dans une certaine mesure, le mot-clé le plus important de la question - système de type «fort» - lui-même est mal défini . Alors, laissez-moi essayer d'expliquer ce que je veux dire. Contexte général de la question Nous...
Fermé. Cette question est hors sujet . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin qu'elle soit sur le sujet pour Software Engineering Stack Exchange. Fermé il y a 4 ans . Je veux lire les structures de données purement...
Pourquoi Haskell a-t-il une fonction intégrée if/then/else, qui dépend du Booltype, au lieu d'avoir une simple fonction de bibliothèque? Tel que if :: Bool -> a -> a -> a if True x _ = x if False _ y = y
Les langages fonctionnels, par définition, ne devraient pas conserver de variables d'état. Pourquoi, alors, Haskell, Clojure et d'autres fournissent-ils des implémentations logicielles de mémoire transactionnelle (STM)? Y a-t-il un conflit entre deux
Je m'interrogeais sur les origines du «let» utilisé à Lisp, Clojure et Haskell. Quelqu'un sait-il dans quelle langue il est apparu en
J'ai une certaine expérience de l'écriture de petits outils dans Haskell et je le trouve très intuitif à utiliser, en particulier pour écrire des filtres (utilisant interact) qui traitent leur entrée standard et la dirigent vers la sortie standard. Récemment, j'ai essayé d'utiliser un tel filtre...
J'ai lu que Hindley-Milner ne fonctionne pas avec les systèmes de types qui ont des sous-classes, et il existe d'autres fonctionnalités de système de types qui ne fonctionnent pas bien avec. Go n'a actuellement qu'une inférence de type très limitée dans l' :=opérateur. Mais Go n'a pas de...
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...
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
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...
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'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 si un...
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...
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 dépendants, vous pouvez...
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...
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 Haskell comme...
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...