learnhaskell/guide-fr.md

Le Guide

Ceci est ma façon recommandée d'apprendre Haskell.

Quelque chose à garder en tête: ne bloquez pas sur les points que vous ne comprenez pas immédiatement. Continuez à avancer.

Communauté

Notre canal IRC est #haskell-beginners sur Freenode.

Client web IRC ici.

Les listes de diffusion Haskell.

Recommandations de la communauté

Voir le post sur l'enseignement de Chris Done

Soyez gentils et courtois. Etre méchant ou déagréable fait peur aux autres et ne les encourage pas à participer.

Une critique pour le plaisir de critiquer ne sers que la personne qui la fait, pas celle qui la reçoit.

Ne décrivez pas les choses comme "faciles" ou "triviales". Vous créerez un malaise pour les autres qui auraient la sensation de devoir travailler plus durement pour progresser. Les personnes qui apprenent lentement sont souvent celles qui font un apprentissage plus approfondi, c'est quelque chose que nous devons célébrer et encourager !

Ne pas feindre la surprise. N'ayez pas l'air surpris lorsque quelqu'un affirme ne pas savoir quelque chose. La personne se sentira mal et vous n'aurez rien accompli mis à part flatter votre égo.

Pas de "en fait...". Lorsqu'une personne dit quelque chose de presque - mais pas entièrement - correct, et vous répondez, "Ouais… en fait…" puis les corrigez. C'est particulièrement ennuyeux lorsque la correction n'a aucune incidence sur la conversation actuelle. Cela ne signifie pas que Hacker School ne se souci pas de la recherche de la vérité ou que nous ne nous soucions pas d'être précis. Presque tous les "Ouais… en fait…" sont de la démagogie, et non de la recherche de la vérité.

Pas de conduite accompagnée. Si vous voyez des personnes buter sur un problème, vous ne devez pas immédiatement donner des conseils. Laissez travailler dessus à moins que quelqu'un demande de l'aide. Eviter les interruptions est un des objectifs fondateurs du canal #haskell-beginners.

Pas de -ismes. Racisme, sexisme, homophobie, transphobie, et autres biais ne sont pas bienvenus et ne seront pas tolerés.

---

Recommandations du manuel de the Hacker School. Merci de l'avoir partagé Hacker School.

Qu'est ce que Haskell, GHC, et Cabal?

Haskell est un langage de programmation, défini par une spécification, la plus récente datant de 2010. Celle-ci est disponible en ligne.

GHC

GHC est le moyen le plus populaire de travailler avec le langage Haskell. Il inclut compilateur, REPL(interpréteur), gestion de paquets, et plus encore.

Cabal

Cabal s'occupe de la gestion du projet et de la résolution des dépendances. C'est lui qui aide à l'installation de projets, typiquement dans leurs propres sandbox.

Cabal est l'équivalent de Bundler pour Ruby, de pip pour Python, de NPM pour Node, Maven, etc. GHC gère le packaging lui-même, Cabal choisit quelles versions doivent être installées.

Mise en place

Ubuntu

Ce PPA est excellent. C'est ce que j'utilise sur toutes mes machines Linux dédiées au développement.

Plus précisément:

$ sudo apt-get update
$ sudo apt-get install python-software-properties # v12.04 and below
$ sudo apt-get install software-properties-common # v12.10 and above
$ sudo add-apt-repository -y ppa:hvr/ghc
$ sudo apt-get update
$ sudo apt-get install cabal-install-1.20 ghc-7.8.3 happy-1.19.4 alex-3.1.3

Après, ajoutez ce qui suit à votre $PATH (bash_profile, zshrc, bashrc, etc.) :

~/.cabal/bin:/opt/cabal/1.20/bin:/opt/ghc/7.8.3/bin:/opt/happy/1.19.4/bin:/opt/alex/3.1.3/bin

Optionnel: Vous pouvez aussi ajouter .cabal-sandbox/bin à votre path. Ainsi, vous aurez accès au code que vous serez en train de développer directement en ligne de commandes. Cela ne marchera que si votre répertoire de travail actuel contient une sandbox cabal.

Debian

Dêpot GHC pour debian stable

Si vous utilisez la version stable de Debian, il est plus simple d'utiliser http://deb.haskell.org/. Pour cela:

• Ajouter la ligne deb http://deb.haskell.org/stable/ ./ à /etc/apt/sources.list

## Ajoute la clé pour supprimer les messages d'avertissement
$ GET http://deb.haskell.org/deb.haskell.org.gpg-key | apt-key add -
$ sudo apt-get update
$ sudo apt-get install ghc-7.8.3 happy alex cabal-install

Utiliser le PPA d'Ubuntu

Si vous n'utilisez pas la version stable, vous pouvez suivre les mêmes étapes que pour Ubuntu mais vous aurez besoin d'exécuter un commande supplémentaire. Immédiatement après l'exécution de sudo add-apt-repository -y ppa:hvr/ghc, lancez :

$ sudo sed -i s/jessie/trusty/g /etc/apt/sources.list.d/hvr-ghc-jessie.list

Pour les autres versions de Debian, il suffit de remplacer les occurences de jessie par le nom de votre version dans la commandes ci-dessus.

Si, pour une quelconque raison, le fichier /etc/apt/sources.list.d/hvr-ghc-jessie.list n'existe pas, alors /etc/apt/sources.list devrait contenir une ligne de ce genre:

deb http://ppa.launchpad.net/hvr/ghc/ubuntu jessie main

Remplacez alors jessie par trusty dans cette ligne.

Compilation depuis les sources

Vous pouvez suivre ce guide écrit pour Mac OS X:

Notes:

• Configurez votre préfixe de manière adéquate lorsque vous configurez ghc.
• Au lieu de récupérez l'exécutable de cabal-install, récupérez les sources et ensuite lancez le script bootstrap.sh.

Fedora 21

Pour installer Haskell 7.8.4 depuis le dépôt non-officiel (Fedora 22+ l'incluera dans l'officiel) :

$ sudo yum-config-manager --add-repo \
> https://copr.fedoraproject.org/coprs/petersen/ghc-7.8.4/repo/fedora-21/petersen-ghc-7.8.4-fedora-21.repo
$ sudo yum install ghc cabal-install

Comme indiqué dans petersen/ghc-7.8.4 copr page cette version de ghc ne peut pas être installé en même temps que la version Fedora/EPEL de ghc.

Arch Linux

Pour installer Haskell depuis le dépôt officiel d'Arch Linux, lancez :

$ sudo pacman -S cabal-install ghc happy alex haddock

Gentoo

Sur Gentoo, vous pouvez installer les différents composants de la plateforme Haskell depuis Portage. Si vous utilisez ACCEPT_KEYWORDS=arch (par opposition à ACCEPT_KEYWORDS=~arch), Portage installera d'anciennes versions des différents composants Haskell. Maintenant que vous avez ça en tête, si et seulement si vous utilisez ACCEPT_KEYWORDS=arch, ajoutez ce qui suit à /etc/portage/package.keywords.

dev-haskell/cabal-install
dev-lang/ghc

Une fois que cela est fait,

$ emerge -jav dev-lang/ghc dev-haskell/cabal-install

Gentoo garde une version "stable" (comprenez : vieille) de cabal-install dans la hierarchie de Portage. Donc, si vous allez devoir utiliser cabal-install pour installer la dernière version. Notez que les backslashes sont intentionnels dans ce qui suit.

$ \cabal update                # Les  backslashes
$ \cabal install cabal-install # sont intentionels

Vous avez maintenant installé cabal au niveau global avec portage, et dans votre répertoire personnel avec cabal-install. L'étape suivante est de s'assurer que quand vous lancez cabal dans un terminal, votre shell lancera la version à jour dans votre répertoire personnel. Vous allez donc devoir ajouter les lignes suivantes à votre fichier de configuration du shell :

PATH=$PATH:$HOME/.cabal/bin
alias cabal="$HOME/.cabal/bin/cabal"

Si vous ne savez quel est votre shell, il y a de fortes chances que ce soit Bash. Si vous utilisez Bash, le fichier à modifier est ~/.bashrc. Si vous utilisez Z-shell, il s'agit du fichier ~/.zshrc. Vous pouvez lancer la commande suivante pour savoir quel est votre shell :

echo $SHELL | xargs basename

J'utilise zsh, donc cette commande renvoie zsh quand je la lance.

Une fois que vous avez fait tout cela, vous allez devoir installer les outils complémentaires alex et happy.

$ cabal install alex happy

Félicitations ! Vous avez maintenant une installation de Haskell en état de marche !

Mac OS X

10.9

Installez l'app GHC pour Mac OS X qui inclue GHC et Cabal. Elle vous indiquera comment ajouter GHC et cabal à votre path après que vous ayez déposé le .app quelquepart.

10.6-10.8

Faites l'installation décrite ci-dessous avec cette archive.

Windows

• L'installeur minimal pour GHC est capable de compiler network et les autres. Techniquement, il s'agit d'une beta mais cela devrait répondre au besoin de quiconque lira ce guide.

N'oubliez pas de lancer l'installation en tant qu'administrateur puisque le programme cherchera à s'installer dans votre répertoire Program Files.

Guide d'installation détaillé pour Mac OS X

Vous n'avez pas besoin de cela si vous utilisez le .app mais si cela ne marche pas pour vous, essayez cela avec la version exécutable.

Cours de base

Le cours cis194 de Yorgey

Faites le en premier, c'est la principale introduction à Haskell que je recommande.

Disponible en ligne.

Le cours de Brent Yorgey est le meilleur que j'ai trouvé jusque là. La valeur de ce cours est qu'il vous équipera pour écrire du code basique en Haskell mais aussi vous aidera à comprendre les combinateurs d'analyse (parser combinators).

La seule raison pour laquelle vous ne devriez pas commencer avec cis194 est si vous n'êtes pas un developpeur ou un inexprimenté. Si c'est le cas, commencez par le livre de Thompson puis enchainez avec cis194.

---

Le cours NICTA

C'est le cours que je recommande après avoir suivi le cis194 de Yorgey

Disponible sur github ici.

Ce cours va renforcer et vous donnera de l'experience en implémentant directement les abstractions introduites dans le cis194, c'est un exercice critique pour être confortable avec les usages habituels des Functors/Applicatives/Monads/etc. en Haskell. Suivre les cours cis194 puis NICTA est la recommendation principale de mon guide et c'est comme ca que j'enseigne Haskell à tout le monde.

---

Cours supplémentaire cs240h

Fournit plus de matière sur des sujets intermédiaires

Disponible en ligne.

C'est la version en ligne du cours de Bryan O'Sullivan enseigné à Stanford. Si vous ne savez qui il est, jetez un coup d'oeil à la moitié des libraries utilisées par les applications Haskell, son nom est dessus. A souligner si vous avez déjà fait le cours de Yorgey les modules sur les types fantomes, les controles des flux d'informations, les extensions de language, la concurrence, les pipes, et les lenses.

---

Documentation de référence pour les trois cours

Learn You a Haskell for Great Good (LYAH) et Real World Haskell (Merci bos !) sont disponibles en ligne.

Je recommande RWH comme reference (un livre épais). Les chapitres sur le parsing et les monades sont super pour comprendre où les monades sont utiles. D'autres ont confirmé qu'il l'avaient beaucoup apprécié. Certainement une bonne suite pour des idomes plus pratiques lorsque vous aurez intégré les bases d'Haskell.

Que sont les sucres syntactiques <- / do / comprehension de listes ?

Un article excellent.

Pour comprendre list et fold

• Expliquez vous List et Folds

Pour apprendre quelques typeclasses courantes

Utile pour comprendre Functor, Applicative, Monad, Monoid et autres typeclasses en general mais aussi une peu de théorie des catégories spécifique à Haskell:

• La Typeclassopedia

Comprendre les messages d'erreur standards d'Haskell

• Comprendre les messages d'erreur standards

---

Evaluation stricte et paresseuse, guarded recursion

• Le livre écrit par Marlow au sujet du parallélisme et de la concurrence est une des meilleures introduction au sujet de l'évaluation paresseuse et des formes normales que j'ai trouvé. N'hésitez pas à utiliser d'autres ressources si vous n'accrochez pas immédiatement à celle ci.

• Des points en plus pour l'evaluation paresseuse

• Oh ma paresse !

• Question sur SO : 'Haskell a-t-il une évaluation paresseuse ?'

• les slides de Johan Tibell pour une présentation intitulé raisoner avec l'évaluation paresseuse.

Brève démonstration

let a = 1 : a   -- guarded recursion, (:) est évalué paresseusement
let (v : _) = a -- et on peut lui appliquer du pattern matching
> v
1
> head a -- head a == v
1

let a = 1 * a -- not guarded, (*) is strict
> a
*** Exception: <<loop>>

IO

• Ordre d'évaluation et State tokens

• Révéler les mytères de la monade IO.

• "instructions" du premier ordre.

• Haddocks pour System.IO.Unsafe.unsafePerformIO Lire la documentation et remarquez l'implémentation de unsafeDupablePerformIO

Commentaire sur un fil Reddit de glaebhoerl :

Une intéressante note annexe: GHC a besoin de cacher la représentation du jeton d'état derrière un type abstrait IO car le jeton d'état doit toujours être utilisé linéairement (il ne doit pas être dupliqué ou abandonné), mais son système de types ne peut l'imposer. Clean, un autre langage paresseux à la Haskell, a des types uniques (qui sont des types linéaires et qui sont peut être différent sur d'autre points que j0ignore). Ils exposent le passage du Monde explicitement et proposent une monade IO (non-abstraite) uniquement pour plus de commodités.

Monades et transformateurs de monades

Ne faites pas ça vant de comprendres les typeclasses, Monoid, Functor et Applicative !

Implémenter les monades de la librairie standard (List, Maybe, Cont, Error, Reader, Writer, State) par vous-même afin de mieux les comprendre. Après, vous pouvez peut-être écrire un interpréteur monadique pour un langage avec des petites expressions en utilisant le papier sur les transformateurs de monades étape par étape (mentioné dans la section "transformateurs de monades" ci-dessous).

Ecrire plusieurs interpréteurs en changeant juste la monde pour changer les sémantiques peut aider à comprendre ce qui se passe.

• Cette présentation de Tony justifie avec brio l'utilité des transformateurs de monades. Les slides sont également disponibles.

De la même manière, réimplémanter Control.Monad. Des fonctions comme mapM ou sequence sont de bonnes opportunités pour s'entrainer à écrire du code monadique.

Le cours du NICTA peuvent être utiliser comme un guide lors de ce processus, guide qui vous demandera également d'écrire vos propres Applicatives.

Crédits:

• Commentaires de htmltyp et Crandom sur Reddit ici.

• Commentaire de jozefg ici.

Test, specification, test de propriétés (tests par génération)

• Ce tutoriel de Kazu Yamamoto est fantastique.

• Simple-Conduit: Une bonne librairie simple pour apprendre comment le streaming d'IO fonctionne en général. Les connaissances acquises ici sont transférables à Pipes et Conduit.

Parsing en Haskell

• Tutoriel sur les parser combinators en Haskell utilisant Parsec.

• Ecrivez votre propre micro-Parsec

Parsing et génération de JSON

Aeson est la solution standard de parsing de JSON en haskell. Disponible sur hackage et github.

• Parser du JSON avec Aeson

• Aeson et les types personalisés

• Parser des données non-deterministiques avec aeson et les types sum

• tutoriel Aeson

Algorithmes de graphes et structures de données

• Le package fgl en particulier le plus court chemin purement fonctionnel algos.

• Graphes inductifs et Algorithmes de Graphes Fonctionnels.

• FGL/Haskell - Une bibliothèque de Graphes Fonctionnels.

• source de Data.Graph extraite du package Containers.

• Le package graphs.

• une question Stack Overflow sur PHOAS

• un article sur PHOAS.

• Attacher le noeud.

• Hackage: dag.

Environment de développement

Emacs

• le tutoriel d'Alejandro Serras

• Mes dotfiles

• la config emacs de Chris Done

Vim

• la page Vim sur haskellwiki

• Haskell-vim-now

• Un workflow vim+haskell

• GHC-Mod

• plugin vim GHC-Mod

• Hindent

Sublime Text

• SublimeHaskell

FAQ et utilisation de Cabal

Une FAQ fantastique

En plus d'être un guide extraordinaire pour pleins de sujets comme les GADT, il couvre aussi des some useful basics for Cabal

• Ce que j'aurais aimé savoir lors de mon apprentissage d'Haskell aussi sur github ici.

recommandations pour Cabal

L'enfer avec Cabal était un problème pour les utilisateurs d'Haskell avant l'introduction des bacs à sable. Installer en dehors d'un bac à sable va installer dans le package-db de l'utilisateur. Ce n'est pas une bonne idée mis à part pour quelques librairies fondamentales comme Cabal, alex, et happy. Rien d'autre ne devrait être installé dans le package-db de l'utilsateur ou le global à moins que vous ne sachiez ce que vous faites.

Quelques bonnes pratiques pour éviter l'enfer avec cabal sont disponibles ici.

Pour expérimenter avec un package ou démarrer un projet, commencez par cabal sandbox init dans un nouveau dossier.

Pour résumer:

• Toujours utiliser des bacs à sable pour installer de nouveaux packages, créer des projets, ou démarrer des experimentations

• Utiliser cabal repl pour démarrer une instance ghci dans un projet

L'approche basée sur les bacs à sable que je suggère permet d'éviter les problèmes liés à la gestion des dépendances des packages, mais elle n'est pas compatible avec les packages pré-construits fournis par Haskell Platform. Si vous apprenez Haskell et ne comprenez pas comment ghc-pkg et Cabal fonctionnent, évitez platform et utilisez les instructions préalables du guide à la place.

Stackage

Pour les utilisateurs (de Yesod généralement) qui ont des problèmes de build, considérez Stackage.

• Un bon résumé de ce qu'est Stackage ici.

L'auteur éstime que Stackage est généralement plus utile que cabal freeze.

Hoogle et Haddock

Chercher du code à partir de la signature des types

Le moteur de recherche Hoogle permet des recherches par type.

Par exemple, le résultat d'une recherche pour (a -> b) -> [a] -> [b] sont disponibles ici.

Hoogle est également hébergé par fpcomplete ici.

Il existe aussi Hayoo (qui contient tout hackage par défaut).

Mettre en place propre instance local de Hoogle

Vous pouvez regerder ici.

Haddock

1. Réparer votre documentation Hackage

2. La v2 de la documentation de Hackage

Notez que ces billets sont légèrement obsolète: par exemple, Hacakge contient maintent de jolies nouvelles information contenant la documentation et le statut du build.

Ce que vous avez vraiment besoin de savoir

Afin qu'Haddock inclus la documentation des paquets référencés, vous devez mettre documentation: True dons votre ~/.cabal/config. Si la valeur était par défaut (False) ou délibérément définie comme False, vous devrez supprimer tous vos paquets et les réinstaller avant de générer haddocks.

L'autre chose que vous devez garder en tête est que comme le paramètre $pkg est interprété par cabal, et non par vous, les paramètres html-location et content-location doivent être entourés de guillemets simples et entrés dans un shell ou contenu dans un shell-script. Ils ne marcheront pas dans un Makefile, car on pensera alors qu'il s'agit de variables pour Make.

#! /usr/bin/env sh

# Vous puvez écrire ceci ligne par ligen en omettant les backslashes
cabal haddock --hoogle --hyperlink-source                       \
 --html-location='http://hackage.haskell.org/package/$pkg/docs' \
 --contents-location='http://hackage.haskell.org/package/$pkg'

TravisCI

Si vous êtes comme moi un grand fan de TravisCI, je vous recommande alors fortement de jeter un œuil à multi-ghc-travis pour avoir une base pour de fichier travis.yml pour vos projets Haskell.

Frontend/JavaScript

Nous avons des problèmes de riches ! Voilà les trois principaux choix que je peux recommander:

• Haste un compilateur de Haskell vers JavaScript

  • Le compilateur sur github.
  • Une excellente démo de Haste avec un project exemple.

• GHCJS

  • Introduction à GHCJS
  • Des interfaces web réactives avec GHCJS and Sodium
  • Écrire des extensions Atom en Haskell en utilisant ghcjs

• PureScript

  • Pas strcitement du Haskell comme Haste and GHCJS, mais un choix populaire chez les Haskellers.
  • Écrit en et inspiré par Haskell.
  • Essayez purescript dans votre navigateur ici
  • Un très bon guide pour démarrer

Quel langage frontend utiliser ?

GHCJS et Haste sont tous deux du pur Haskell. GHCJS marchera avec de plus nombreux paquets Haskell que Haste, mais celan n'impacte pas un grand nombre de projets frontend. PureScript n'est pas du tout du Haskell, donc un partage direct du code avec votre backend ne fonctionnera pas.

GHCJS a le plus gros coût en terme de poids, avec environ 100ko (Luite travaille sur ce point). Haste et purescript sont compétitifs.

Purescript a la meilleure intégration dans la suite d'outils javascript (il utilise gulp/grunt/bower), GHCJS et Haste s'intègrent mieux avec les outils Haskell (Cabal).

Les trois sont de très bons choix et seont adaptés à la plupart des projets frontend.

Pour mieux comprendre l'évaluation paresseuse, NF, WHNF

• Notes sur lambda-calcul.

Documents de recherche sur le lambda-calcul paresseux

• La nécessité du lambda-calcul.

• Démonstration de la réduction avec lambda-calcul

• Le lambda-calcul paresseux.

• Evaluation paresseuse en Haskell

Parallelisme / Concurrence

• Programmation Parallele et Concurente en Haskell Ce livre de Simon Marlow est probablement le meilleur que j'ai lu sur le sujet du parallelisme et de la concurence.

• Un pas à pas complet sur les tests et le développement incrémental d'une application multi-threadée en Haskell.

• Programmation Fonctionelle Réactive

Lenses et Prisms

Une fois que êtes confortables avec Haskell, vous devriez considérer fortement l'apprentissage des Lenses et Prisms, même en tant que simple "utilisateur". Vous n'avez pas besoin de comprendre la catégorie sous-jascente pour que celà vous soit utile.

Les gens sur-estiment grandement la difficulté d'utiliser les Lens. Quiconque confortable avec Functor/Foldable/Traversable (ou juste le premier) peux utiliser les lenses et prisms et rendre leur vie plus heureuse.

Si vous avez déjà fait quelque chose comme: (fmap . fmap) vous étiez en train de "lenser" dans votre tête.

Je recommande ces deux tutoriels / introductions:

• Un petit tutriel sur Lens pour commencer

• Lens: Lenses, Folds et Traversals

Regardez ici pour plus d'informations: Lens package on hackage.

Schémas de récursion

Certains des mots en *-morphisme dont vous avez entendu parler jusque là renvoient à la récursion. NB - avant de vous attaquer à la suite vous devriez savoir comment implementer foldr pour des listes et au moins une autre structure de données, comme les arbres. (les folds sont des catamorphismes) Savoir comment implementer un unfold (anamorphisme) pour les même structures devrait clarifier un peu les choses.

Ces documents se limitent aux traversables et foldables.

• Une introduction aux schémas de récursion

• N'ayez pas peur du chat - Une bonne démonstration sur comment l'hylomorphisme est une composition de cata et ana.

• Schémas de Récursion - Ce guide pratique est excellent.

• Programmation Functionelle avec des Bananes, des Lenses, des Enveloppes et du Fil barbelé

• Catamorphismes

GHC Core et tuning de performance

• Ecrire du Haskell aussi rapide que du C

• GHC Wiki: le Type CoreSyn.

• Hackage: GHC Core.

• Question sur SO: Lire GHC Core.

• Haskell aussi rapide que du C.

• Real World Haskell, Chapitre 25: Profilage and Optimisations.

Type et Théorie des Catégories

Pas nécessaire pour écrire du Haskell, juste pour ceux interessés !

Si vous voulez suivre sur les types et la théorie des catégories:

• Le guide de Catster and Le guide de Catster 2

• Le wikibook haskell a de beaux diagrammes.

• Théorie des Catégories sur haskellwiki, dispose de bons liens vers d'autres ressources.

• Categories à partir de rien, inclus des exemples concrets.

• La liste Superbes travaux sur les languages de programmation de Pierce.

Livres

• Question sur Quora: Quel est le meilleur livre sur la théorie des catégories ? les recommandations de Kmett

• Awodey et MacLane. Les livres de référencesur la théorie des catégories.

• Fondations Pratiques pour les Languages de Programmation de Harper est la meilleure introduction à la théorie des catégories d'un point de vue des languages de programmation.

• La théorie des Types et la Programmation Functionnelle.

Les magnifiques posts de Stephen "Comment aller aux monades"

• Adjonctions.

• Monades.

Autres sujets amusants

Paramétricité, ad-hoc vs. polymorphisme paramétrique, théorèmes libres

• Paramétricité.

• Les sources TeX du talk ci-dessus.

• Rendre le polymorphisme ad-hoc moins ad-hoc.

• Théorèmes gratuits !.

Initial et Final, les DSL, Finally Tagless

• Encodages finaux, Partie 1: Une Démonstration rapide.

• Transformer des valeurs Polymorphiques.

• Les GADT en Haskell 98.

• Lambda-calcul linéaire Typed Tagless-Final.

• Interprétations de Typed tagless-final: notes de Lecture.

• Les interpréteurs Typed Tagless Final.

• Le chien qui n'aboyait pas moins spécifique mais interessant tout de même.

Co-monades

• Co-monades en Haskell.

• question sur SO: Est-ce qu'une monade peut être une co-monade ?.

Yoneda / CoYoneda

• question sur SO: explication pas-à-pas de coyoneda.

• Free monads for Less, une séquence de trois articles par Edward Kmett

  • Partie 1: Co-densité.
  • Partie 2: Yoneda.
  • Partie 3: Yielding IO.

Propositions vs. Jugements (informatique)

• une question sur StackExchange: Quelle est la difference entre les propositions et les jugements ?.

• Notes de lecture d'un petit cours de trois lectures

Typage Dépendent

• Intégrer les type sum, les value constructors, et les type constructors.

• Programmation légère avec typage dépendant.

• Le language de programmation Idris.

Interconnexion de binaires statique

• Interconnexion statique

• Interconnexion statique avec GHC sur Arch Linux

• Interconnexion statique de binaires Linux pour ARM & MIPS

• Interconnexion statique GMP avec GHC et LLVM

Liste de lecture étendue

Certains sont déjà inclus ici

• Liste de lecture Haskell Essentielle

Dialogues

Hébergés dans un dépot ici.

Ils sont importants et utiles. A regarder pour une compréhension approfondie sur des sujets variés.