Pour commencer avec Haskell

je vais commander ce guide par le niveau de compétence que vous avez en haskell, pour aller d'un débutant jusqu'à l'expert. Notez que ce processus prendra de nombreux mois (des années?), donc c'est plutôt long.

Débutant

tout d'Abord, haskell est capable de tout, avec assez d'habileté. Il est très rapide (derrière seulement c et c++ dans mon expérience), et peut être utilisé pour n'importe quoi, des simulations aux serveurs, et des applications web.

cependant, il y a certains problèmes qui sont plus faciles à écrire pour un débutant à haskell que d'autres. Les problèmes mathématiques et les programmes de processus de liste sont de bons candidats pour cela, car ils ne nécessitent la connaissance la plus fondamentale de Haskell pour être en mesure d'écrire.

tout d'Abord, quelques bons guides pour apprendre les rudiments de haskell sont les heureux d'apprendre haskell tutoriel et les 6 premiers chapitres de apprendre que vous avez un haskell . En lisant ceux-ci, c'est une très bonne idée de résoudre aussi des problèmes simples avec ce que vous savez.

un Autre deux bonnes ressources sont Haskell Programmation, à partir des principes , et Programmation Haskell . Ils viennent tous les deux avec des exercices pour chaque chapitre, de sorte que vous avez de petits problèmes simples correspondant à ce que vous avez appris sur les dernières pages.

un bon liste des problèmes à essayer est le haskell 99 page . Ceux-ci commencent très basique, et deviennent plus difficile que vous continuez. C'est une très bonne pratique de faire beaucoup de ceux-ci, car ils vous permettent de pratiquer vos compétences dans la récursion et les fonctions d'ordre supérieur. Je recommande de sauter tous les problèmes qui exigent le caractère aléatoire car c'est un peu plus difficile à haskell. Cochez cette question SO si vous souhaitez tester vos solutions avec QuickCheck (voir Intermédiaire ci-dessous).

une fois que vous avez fait quelques-uns de ces, vous pourriez passer à faire quelques-uns des projet Euler problèmes. Ceux-ci sont classés selon le nombre de personnes qui les ont complétés, ce qui est une assez bonne indication de la difficulté. Ces tester votre logique et haskell plus que les problèmes précédents, mais vous devriez toujours être en mesure de faire les premiers. Un grand avantage haskell a avec ces problèmes est entiers ne sont pas limitée en taille. Pour la réalisation de certains de ces problèmes, il sera utile d'avoir lu les chapitres 7 et 8 de vous apprendre un haskell.

débutant

après que vous devriez avoir une assez bonne poignée sur la récursion et les fonctions d'ordre supérieur, de sorte qu'il serait un bon moment pour commencer à faire quelques problèmes plus du monde réel. Un très bon endroit pour commencer est monde réel Haskell (Livre en ligne, vous pouvez également acheter une copie papier). J'ai trouvé les premiers chapitres introduisent beaucoup trop rapidement pour quelqu'un qui n'a jamais fait de programmation fonctionnel/used récursion avant. Toutefois, avec la pratique que vous auriez eu de faire les problèmes précédents, vous devriez le trouver parfaitement compréhensible.

travailler à travers les problèmes du livre est une excellente façon d'apprendre à gérer les abstractions et à construire des composants réutilisables à haskell. C'est essentiel pour les gens orientée objet (oo) la programmation, comme les méthodes normales d'abstraction oo (classes oo) n'apparaissent pas dans haskell (haskell a des classes de type, mais elles sont très différentes des classes oo, plus comme des interfaces oo). Je ne pense pas que ce soit une bonne idée de sauter des chapitres, car chacun introduit beaucoup de nouvelles idées qui sont utilisées dans les chapitres ultérieurs.

après un certain temps vous arriverez au chapitre 14, le chapitre redouté des monades (dum dum dummmm). Presque tous ceux qui apprennent haskell a du mal à comprendre les monades, en raison de comme le concept est abstrait. Je ne vois pas de concept dans un autre langage aussi abstrait que les monades dans la programmation fonctionnelle. Les monades permettent de nombreuses idées (comme les opérations IO, les calculs qui pourraient échouer, l'analyse, etc.)...) à être unifié sous une seule idée. Ne vous découragez donc pas si, après avoir lu le chapitre sur les monades, vous ne les comprenez pas vraiment. J'ai trouvé utile de lire de nombreuses explications différentes des monades; chacun donne une nouvelle perspective sur le problème. Voici un très bon liste de monade "tutoriels 1519180920" . Je recommande fortement le tout sur les monades , mais les autres sont également bons.

aussi, il faut un certain temps pour que les concepts s'enfoncent vraiment. Cela vient de l'utilisation, mais aussi à travers le temps. Je trouve que parfois dormir sur un problème AIDE plus que n'importe quoi d'autre! Finalement, l'idée va cliquer, et vous vous demanderez pourquoi vous avez lutté pour comprendre un concept qui, en réalité, est incroyablement simple. Il est génial quand cela arrive, et quand il le fait, vous pourriez trouver haskell être votre favori language de programmation impératif :)

pour s'assurer que vous comprenez parfaitement le système de type Haskell, vous devriez essayer de résoudre 20 exercices intermédiaires haskell . Ces exercices utilisant des noms amusants de fonctions comme "furry" et "banana" et vous aide à avoir une bonne compréhension de certains concepts de base de programmation fonctionnelle si vous ne les avez pas déjà. Belle façon de passer votre soirée avec une liste de papier couvert de flèches, licornes, saucisses et bananes à fourrure.

Intermédiaire

une fois que vous avez compris les monades, je pense que vous avez fait la transition d'un programmeur Haskell débutant à un programmeur Haskell intermédiaire. Alors, où aller à partir d'ici? La première chose que je recommande (si vous ne les avez pas déjà appris de monades d'apprentissage) est les différents types de monades, tels que en tant que Lecteur, l'Écrivain et de l'État. Encore une fois, le monde réel haskell et tout sur les monades donne une grande couverture de ceci. Pour compléter votre formation monad apprendre sur les transformateurs monad est un must. Ceux-ci vous permettent de combiner différents types de monades (comme un lecteur et monade D'État) en un seul. Cela peut sembler inutile pour commencer, mais après avoir utilisé pendant un certain temps, vous vous demanderez comment vous avez vécu sans eux.

maintenant vous pouvez finir le livre du monde réel haskell si vous voulez. Sauter des chapitres maintenant mais ça n'a pas vraiment d'importance, du moment que tu as des monades en place. Il suffit de choisir ce qui vous intéresse.

Avec les connaissances que vous avez maintenant, vous devriez être en mesure d'utiliser la plupart des paquets sur cabal (bien documentés au moins...), ainsi que la plupart des bibliothèques qui viennent avec haskell. Une liste de bibliothèques intéressantes à essayer serait:

• Parsec : pour l'analyse des programmes et du texte. Beaucoup mieux que d'utiliser les expressions régulières. Excellente documentation, a également un chapitre Haskell monde réel.

• Quickcheck : Un très cool programme de test. Ce que vous faites est d'écrire un prédicat qui devrait toujours être vrai (par exemple length (reverse lst) == length lst ). Vous réussissez alors le QuickCheck de prédicat, et il générera beaucoup de valeurs aléatoires (dans ce cas-ci des listes) et tester que le prédicat est vrai pour tous les résultats. Voir aussi le en ligne manuel .

• HUnit : les tests Unitaires en haskell.

• gtk2hs : le cadre gui le plus populaire pour haskell, vous permet d'écrire des applications gtk dans haskell.

• happstack : Une infrastructure de développement web pour haskell. N'utilise pas de bases de données, mais plutôt un magasin de type de données. Assez bon docs (autres cadres populaires serait snap et yesod ).

il y a aussi de nombreux concepts (comme le concept Monad) que vous devriez éventuellement apprendre. Ce sera plus facile que d'apprendre des monades la première fois, car votre cerveau sera habitué au niveau d'abstraction impliqué. Un très bon aperçu pour en savoir plus sur ces concepts de haut niveau et comment ils s'intègrent est le Typeclassopedia .

• applicatif: une interface comme des monades, mais moins puissante. Chaque monade est Applicative, mais pas l'inverse. Ceci est utile car il y a certains types qui sont applicatifs mais ne sont pas des monades. En outre, le code écrit en utilisant les fonctions applicatives est souvent plus composable que l'écriture du code équivalent en utilisant les fonctions Monad. Voir du guide learn you a haskell.

• Foldable , Traversable : classes typographiques qui abstraient un grand nombre des opérations des listes, de sorte que les mêmes fonctions peuvent être appliquées à d'autres types de conteneurs. Voir aussi l'explication Haskell wiki .

• monoïde : un monoïde est un type qui a une valeur zéro (ou mempty), et une opération, notée <> qui réunit deux monoïdes, tels que x <> mempty = mempty <> x = x et x <> (y <> z) = (x <> y) <> z . Ces lois sont appelées lois d'identité et d'associativité. De nombreux types sont des monoïdes, tels que les nombres, avec mempty = 0 et <> = + . Ceci est utile dans de nombreuses situations.

• flèches : les flèches sont une façon de représenter des calculs qui prennent une entrée et renvoient une sortie. Une fonction est le type le plus basique de flèche, mais il y a beaucoup d'autres types. La bibliothèque possède également de nombreuses fonctions très utiles pour manipuler les flèches - elles sont très utiles même si elles ne sont utilisées qu'avec de vieilles fonctions Haskell.

• "15191450920 des" Tableaux : les différents mutable/immuable tableaux en haskell.

• ST Monad : permet d'écrire du code avec un état mutable qui tourne très rapidement, tout en restant pur en dehors de la monade. Voir le lien pour plus de détails.

• PRF: Fonctionnel Réactif de Programmation, une nouvelle, expérimentale façon d'écrire le code qui gère les événements, les déclencheurs, entrées et sorties (comme une interface graphique (gui). Je ne sais pas beaucoup au sujet de ce bien. Paul Hudak parler de la yampa est un bon début.

Il ya beaucoup de nouvelles fonctionnalités de langue vous je devrais jeter un oeil. Je vais juste les énumérer, vous pouvez trouver beaucoup d'informations à leur sujet de google, le Haskell wikibook , le haskellwiki.org site and ghc documentation .

• classes de type multiparamètres /dépendances fonctionnelles
• familles types
• quantifiée Existentiellement types
• Fantôme "types de 1519780920"
• GADTS
• les autres...

beaucoup de haskell est basé autour de théorie des catégories , donc vous pouvez vouloir regarder dans cela. Un bon point de départ est théorie des catégories pour les informaticiens . Si vous ne voulez pas acheter le livre, le article de l'auteur est également excellent.

enfin, vous souhaitez en savoir plus sur les différents outils haskell. Il s'agit notamment de:

• ghc (et toutes ses caractéristiques)
• cabale : le haskell système de paquets
• darcs : un système de contrôle de version distribué écrit en haskell, très populaire pour les programmes haskell.
• haddock : un haskell générateur de documentation

tout en apprenant tous ces nouveaux concepts et bibliothèques, il est très utile d'écrire un projet de taille moyenne à haskell. Il peut être n'importe quoi (par exemple un petit jeu, analyseur de données, site web, compilateur ). Travailler sur ce qui vous permettra d'appliquer beaucoup de choses que vous êtes en train d'apprendre. Vous restez à ce niveau pendant des âges (c'est ici que je suis).

Expert

Il faudra des années pour arriver à ce scène (bonjour depuis 2009!), mais à partir de là, je suppose que vous commencez à écrire des articles de doctorat, de nouvelles extensions de ghc, et de venir avec de nouvelles abstractions.

Obtenir De L'Aide

enfin, bien qu'à n'importe quel stade de l'apprentissage, il existe plusieurs endroits pour obtenir de l'information. Ce sont:

• le #haskell canal irc
• le listes de diffusion . Ces valent la peine signature juste de lire les discussions qui ont lieu au - certains sont très intéressants.
• haskell.org page d'accueil

Conclusion

ça a duré plus longtemps que prévu... Quoi qu'il en soit, je pense que c'est une très bonne idée de devenir compétent en haskell. Il prend beaucoup de temps, mais c'est principalement parce que vous êtes l'apprentissage d'une nouvelle manière de penser par de le faire. Ce n'est pas comme apprendre ruby après avoir appris java, mais comme Apprendre java après avoir appris C. De plus, je constate que mes compétences en programmation orientée objet se sont améliorées à la suite de l'apprentissage de haskell, car je vois de nombreuses nouvelles façons d'abstraire des idées.