Génie logiciel haskell

2

Pourquoi le comité Haskell a-t-il choisi des monades pour représenter les E / S?

Le langage propre utilise des types d'unicité pour gérer les E / S dans un cadre purement fonctionnel. Pourquoi le comité Haskell est-il allé plutôt avec des monades ? Y a-t-il eu d'autres propositions de traitement indiquant que le comité avait enquêté mais qu'il avait décidé de ne pas le …

36 functional-programming history haskell

12

Schéma vs Haskell pour une introduction à la programmation fonctionnelle?

Je suis à l'aise avec la programmation en C et C # et explorerai le C ++ dans le futur. Je pourrais être intéressé à explorer la programmation fonctionnelle en tant que paradigme de programmation différent. Je le fais pour le plaisir, mon travail ne nécessite pas de programmation informatique …

36 haskell functional-programming scheme

7

Le système de types de Haskell est-il un obstacle à la compréhension de la programmation fonctionnelle? [fermé]

J'étudie Haskell dans le but de comprendre la programmation fonctionnelle, dans l'espoir d'appliquer les connaissances que j'ai acquises dans d'autres langues (Groovy, Python, JavaScript principalement.) J'ai choisi Haskell parce que j'avais l'impression qu'il est très purement fonctionnel et ne permet pas de dépendre de l'État. Je n'ai pas choisi d'apprendre …

33 functional-programming haskell language-features type-systems

2

Application de la sémantique dénotationnelle à la conception de programmes

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 conception de programmes basés …

30 scala haskell scheme

8

Pourquoi le concept d'évaluation paresseuse est-il utile?

Il semble qu'une évaluation paresseuse des expressions puisse faire perdre au programmeur le contrôle de l'ordre dans lequel son code est exécuté. J'ai du mal à comprendre pourquoi cela serait acceptable ou souhaité par un programmeur. Comment ce paradigme peut-il être utilisé pour construire un logiciel prévisible qui fonctionne comme …

30 functional-programming haskell

3

Haskell vs Erlang pour les services Web

Je cherche à démarrer un projet expérimental en utilisant un langage fonctionnel et j'essaie de décider entre Erlang et Haskell, et les deux ont des points que j'aime beaucoup. J'aime le système de caractères forts et la pureté de Haskell. J'ai le sentiment que cela facilitera l'écriture de code vraiment …

30 functional-programming haskell erlang

8

Vous utilisez un système de type «fort» dans le monde réel, par exemple, pour des applications Web à grande échelle?

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 …

29 java haskell scala type-systems rust

3

Différentes façons de voir une monade

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 …

29 functional-programming haskell monad side-effect

4

Le polymorphisme de type retour (uniquement) dans Haskell est-il une bonne chose?

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 …

29 haskell functional-programming

2

Pourquoi Haskell a-t-il intégré «if / then / else» au lieu de le définir comme une simple fonction de bibliothèque?

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

25 haskell

2

Quelle est la différence de contenu entre la thèse de Chris Okasaki de 1996 et le livre de 1999, Purely Functional Data Structures? [fermé]

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 fonctionnelles. J'ai …

25 books functional-programming data-structures haskell

5

Dans quel langage de programmation «laisser» est-il apparu en premier?

Je m'interrogeais sur les origines du «let» utilisé à Lisp, Clojure et Haskell. Quelqu'un sait-il dans quelle langue il est apparu en premier?

24 history haskell lisp clojure

3

Pourquoi certains langages fonctionnels ont-ils besoin de mémoire transactionnelle logicielle?

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 approches?

24 functional-programming haskell clojure stm

1

À quelle fréquence le seq est-il utilisé dans le code de production Haskell?

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 sur un fichier qui …

23 programming-practices haskell stackoverflow

1

L'inférence Hindley-Milner pourrait-elle fonctionner pour la langue Go?

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 sous-classes au …

22 haskell type-systems go

Questions marquées «haskell»