Un langage de programmation fonctionnel
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, à mon avis, est...
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 )...
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...
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é...
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 f...
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...
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...
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 diffusion) qui...
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...
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....
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...
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...
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 en...
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...
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 faire?...
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 et je...
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...
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...
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...
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...