Génie logiciel haskell

6

Qu'est-ce qui rend le système de types Haskell si vénéré (par exemple, Java)?

Je commence à apprendre Haskell . Je suis très novice dans ce domaine et je suis en train de lire quelques livres en ligne pour mieux comprendre ses concepts de base. L’un des "mèmes" dont les habitués ont souvent parlé, est l’ensemble "s’il compile, cela fonctionnera *" - ce qui, …

204 java haskell polymorphism

2

Qu'est-ce que le motif «Free Monad + Interpreter»?

J'ai vu des gens parler de Free Monad avec Interpreter , en particulier dans le contexte de l'accès aux données. Quel est ce modèle? Quand pourrais-je vouloir l'utiliser? Comment cela fonctionne-t-il et comment pourrais-je le mettre en œuvre? Je comprends (à partir de messages comme celui- ci ) qu’il s’agit …

95 design-patterns functional-programming haskell dsl monad

4

Le système de types de Haskell est-il formellement équivalent à celui de Java? [fermé]

Je réalise que certaines choses sont plus faciles / plus difficiles dans une langue que dans l'autre, mais je ne m'intéresse qu'aux fonctionnalités liées au type qui sont possibles dans l'une et impossibles / non pertinentes dans l'autre. Pour le rendre plus spécifique, ignorons les extensions de type Haskell car …

66 java haskell type-systems static-typing

4

quel est le but des flèches?

J'apprends la programmation fonctionnelle avec Haskell et j'essaie de saisir des concepts en commençant par comprendre pourquoi j'en ai besoin. J'aimerais connaître l'objectif des flèches dans les langages de programmation fonctionnels. Quel problème résolvent-ils? J'ai vérifié http://en.wikibooks.org/wiki/Haskell/Understanding_arrows et http://www.cse.chalmers.se/~rjmh/afp-arrows.pdf . Tout ce que je comprends, c’est qu’ils servent à décrire …

63 functional-programming haskell

7

Comment coder des types de données algébriques dans un langage semblable à C # ou à Java?

Certains types de données algébriques permettent de résoudre facilement certains problèmes. Par exemple, un type de liste peut être exprimé de manière très succincte par: data ConsList a = Empty | ConsCell a (ConsList a) consmap f Empty = Empty consmap f (ConsCell a b) = ConsCell (f a) (consmap …

58 java c# scala haskell algebraic-data-type

1

Comment concevez-vous des programmes en Haskell ou dans d'autres langages de programmation fonctionnels?

J'ai de l'expérience dans les langages de programmation orientés objet comme c # ou ruby. Je sais concevoir un programme dans un style orienté objet, créer des classes et des objets et définir des relations entre eux. Je connais aussi certains modèles de design. Comment les gens écrivent-ils des programmes …

52 design haskell functional-programming

5

Y a-t-il des inconvénients ou des problèmes avec Haskell?

Je cherche à plonger dans Haskell pour mon prochain projet personnel (relativement trivial). Les raisons pour lesquelles je m'attaque à Haskell sont les suivantes: Me lancer dans un langage purement fonctionnel La vitesse. Bien que je sois sûr que cela puisse être discuté, le profil que j’ai vu des clous …

47 haskell

5

Critique de la monade d'IO considérée comme une monade d'état opérant sur le monde

La IOmonade à Haskell est souvent décrite comme une monade d’État où l’État est le monde. Ainsi, une valeur de type IO amonad est considérée comme quelque chose comme worldState -> (a, worldState). Il y a quelque temps, j'ai lu un article (ou un article de blog / liste de …

46 functional-programming haskell io monad

2

Pourquoi (ou pourquoi pas) les types existentiels sont-ils considérés comme de mauvaises pratiques en programmation fonctionnelle?

Quelles sont les techniques que je pourrais utiliser pour refactoriser de manière cohérente le code en supprimant la dépendance aux types existentiels? Celles-ci sont généralement utilisées pour disqualifier les constructions non désirées de votre type, ainsi que pour permettre une consommation avec un minimum de connaissances sur le type donné …

43 functional-programming haskell type-systems

3

Quels sont les avantages d'utiliser LISP et Haskell? Vont-ils faire de moi un meilleur programmeur? [fermé]

Je sais que Lisp et Haskell sont respectivement des langages de programmation logique et fonctionnel, mais qu'est-ce que cela signifie exactement? Comment diffèrent-ils des autres langues? J'ai entendu dire que leur apprentissage ferait de vous un meilleur programmeur et améliorerait votre logique. Est-ce vrai et si j'apprends le Lisp ou …

41 haskell lisp

7

Haskell ET Lisp contre Haskell ou Lisp [fermé]

Je code actuellement avec C, C ++ et Python. Je veux choisir un langage de programmation fonctionnel, et pour l'instant je me penche vers Haskell. Je ne veux PAS commencer une guerre "Haskell vs Lisp" ici; Ce que je veux savoir, c'est ceci: si j'apprends Haskell principalement pour me familiariser …

40 learning functional-programming haskell lisp paradigms

2

Idées fausses sur des langages purement fonctionnels?

Je rencontre souvent les déclarations / arguments suivants: Les langages de programmation purement fonctionnels ne permettent pas les effets secondaires (et sont donc peu utiles dans la pratique car tout programme utile a des effets secondaires, par exemple lorsqu’il interagit avec le monde extérieur). Les langages de programmation purement fonctionnels …

39 functional-programming haskell

2

Les langues modernes utilisent-elles encore des générateurs d'analyseurs?

Je faisais des recherches sur la suite du compilateur gcc sur wikipedia ici , quand cela a été annoncé: GCC a commencé par utiliser des analyseurs LALR générés avec Bison, mais a progressivement adopté des analyseurs manuscrits à descente récursive; pour C ++ en 2004 et pour C et Objective-C …

38 java ruby haskell parsing swift-language

5

«Une preuve est un programme. la formule prouvée est un type pour le programme ”

C’est peut-être une question philosophique, mais je pense qu’il ya une réponse objective à cette question. Si vous lisez l'article de Wikipédia sur Haskell, vous trouverez ce qui suit: La langue est enracinée dans les observations de Haskell Curry et de ses descendants intellectuels, selon lesquelles "une preuve est un …

37 haskell

7

Quels sont les équivalents fonctionnels des instructions de rupture impératives et des autres vérifications de boucle?

Disons, j'ai la logique ci-dessous. Comment écrire cela dans la programmation fonctionnelle? public int doSomeCalc(int[] array) { int answer = 0; if(array!=null) { for(int e: array) { answer += e; if(answer == 10) break; if(answer == 150) answer += 100; } } return answer; } Les exemples dans la plupart …

36 functional-programming haskell clojure

Questions marquées «haskell»