Le langage haskell

enicar · 07-05-2015 14:00:26

Salut,
Je voudrais savoir si certains d'entre vous connaissent/pratiquent le
langage Haskell.

Pour ceux qui ne connaissent pas :
https://www.haskell.org/

Et une minuscule introduction : Haskell est un langage purement
fonctionnel, ce qui veut dire que l'élément de base du langage est la
fonction et non l'instruction comme dans les langages impératifs.
Donc, on utilise la récursivité à la place des boucles. Les boucles
n'existent pas en Haskell, ni l'affectation. En fait, il y a moyen de
simuler les boucles et les affectations, mais c'est une autre
histoire… La récursivité est la propriété qu'une fonction est définie
en fonction d'elle même, c'est à dire que dans le corps de la
fonction, la fonction s'appelle elle-même. Petit exemple, pour
comprendre. En python la fonction factorielle peut être écrite comme
suit (manière itérative) :

def fac(n)

    acc=1

    while n > 0:

        acc = acc * n

        n = n - 1

    return acc

Même si un adepte de python ne l'écrirait pas comme ça
On peut réécrire cette fonction de manière récursive, toujours en
python :

def fac(n)

    if n == 0:

        return 1

    else:

        return (n * fac(n-1))

Évidemment, cette dernière version suppose que n >= 0.
La première version renvoie 1 pour tout n <= 1.

En haskell, on peut l'écrire comme suit :

fac 0 = 1

fac n = n * fac (n-1)

Il y a beaucoup d'autre façon de l'écrire bien sûr, le langage est
assez riche en possibilités. Dans cet exemple, on voit que j'ai défini
la factorielle à l'aide d'équations, c'est très déclaratif comme
langage.

Note: La factorielle d'un nombre entier n est le produit des entiers
de 1 à n. Par exemple, factorielle de 3 est égale à 1 * 2 * 3 = 6.
En maths, on note cela, 3! = 6

Dernière modification par enicar (07-05-2015 18:42:27)

enicar · 08-05-2015 08:21:02

J'ai trouvé un tutoriel en français sur Haskell. La documentation en français sur ce langage est assez rare. On trouve cette doc ici : Apprendre Haskell vous fera le plus grand bien

paskal · 08-05-2015 08:28:18

enicar · 10-05-2015 09:23:04

Bon, je vais rajouter quelques autres ressources qui sont intéressantes.
Elles sont toutes en anglais. D'abord un livre d'Oreilly disponible en
ligne :
Real World Haskell

Ensuite le site qui centralise beaucoup de pacakges haskell.
Ces packages sont intallables avec cabal. Beaucoup ont un paquet
debian correspondant, mais pas tous.
Hackage::[Package]

Deux moteurs, de recherche spécialisé dans haskell. Vous ne savez pas
où se trouve une fonction, un module, une classe ? Hoogle et Hayoo
sont fait pour vous

Hoogle
Hayoo
Hayoo est un peu plus rusé, après je trouve que le look de Hoogle
est plus sympa (c'est une histoire de goût

). Les deux fonctionnent
très bien en tous cas

Haskell a un wiki :
Le Wiki de Haskell.org

Des tutoriels pour des gens qui connaissent déjà les bases du
langage,que j'ai trouvé très sympa :
http://tobold.org/article/learning

Un article de référence sur le fonctionnement des classes de type dans
haskell :
Typeclassopedia
À lire quand vous serez plus avancé dans la connaissance du langage

Voilà, c'est tout pour aujourd'hui. D'après le nombre de retour je
vois que ça n'intéresse pas grand monde, mais ce n'est pas grave, ça
viendra peut être

Au fait, si vous avez des questions à poser, n'hésitez pas ! Je tenterai
d'y répondre si je peux

EDIT: J'avais oublié l'excellent blog : Haskell for all
fait par un passionné du langage

Dernière modification par enicar (10-05-2015 09:28:23)

smolski · 10-05-2015 09:42:02

Avoir de tels posts d'information sur un site d'entraide est une chance enikar. Merci

sogal · 10-05-2015 18:15:39

Salut et merci pour ton retour, très intéressant.
Pas sur que ce soit le langage que je choisirais pour apprendre cela dit ? ou je me fais une idée ?

enicar · 10-05-2015 18:29:57

C'est un très bon langage pour apprendre l'algorithmique, et on
apprend d'avantage à bien coder en haskell que dans bien des langages.
Mais comme dans tous les langages, il ne faut pas abuser des idiomes
mais en user intelligemment. L'idée est que le code doit rester clair
et lisible. Évidemment, Haskell ne peut pas convenir à tout le monde
ni servir à tout, mais on peut déjà faire beaucoup de chose, y compris
faire certaines que l'on fait habituellement avec des shell script.
Dès qu'un script bash (pour se fixer les idées) devient trop gros, il
est bien de le porter dans un langage de script comme
perl/python/ruby. Et bien, j'ai lu un compte rendu d'expérience d'un
programmeur Haskell, qui avait porté son shell script en Haskell. Son
script prenait de très longues minutes à faire son boulot. Le
programme en haskell ne prenait que trois secondes, et était beaucoup
plus concis. Cette expérience est relatée ici :
http://tobold.org/chapter/doio/11

En plus, c'est un langage qui permet vraiment de construire ses
programmes petit à petit, bien qu'il ne faudrait pas faire comme
cela

enicar · 16-05-2015 18:19:26

J'ai trouvé un article très intéressant qui explique le monades (le point le plus obscur d'Haskell, mais
aussi le plus puissant) : Les monades dans la programmation fonctionnelle

Et un autre article beaucoup plus théorique qui traite des catégories
en programmation : Programmation fonctionnelle et théorie des catégories

Tout cela est illustré par du code en Haskell, autant dire qu'il faut quand même être
un peu avancé dans la compréhension du langage avant de comprendre ces articles.

Et en plus ce sont des articles en français

enicar · 26-05-2015 11:10:24

J'ai trouvé quelques autres ressources sympa sur Haskell.
D'abord un dépôt sur github qui propose un document qui recense
des documentations intéressantes pour apprendre le langage :
Learn Haskell
Qui existe en français (même si la plupart des liens pointés sont
des documents en anglais) :
Apprendre Haskell

Un livre sur haskell est disponible en ligne. Il a été écrit sous forme
de wiki :
Haskell Wiki Book
Il est vraiment très bien fait. Je le recommande vivement.

Un cours qui est vraiment très bien fait aussi :
cis194
Il y a des exercices pour s'entraîner, sans la solution, ce qui est bien
mieux

Un autre cours qui est aussi très bien. Beaucoup plus succinct, il permet
d'avancer très vite :
cs240h

enicar · 28-01-2017 11:25:22

Pour ceux que ça intéresse, j'ajoute une article de linuxfr qui parle d'haskell et des types algébriques :
https://linuxfr.org/news/sortie-de-ghc- … e-statique

Très sympa cette petite explication

framend · 21-11-2019 11:27:18

Oué c'est mal mais je m'en fous, je déterre.
Ce post injustement oublié le mérite.
Bllblblbllblblbllblb

framend · 26-11-2019 22:38:08

J'ajoute un petit peu de documentation à ce fil, si jamais certain veulent changer de pardigme.

La première partie : https://blog.xebia.fr/2015/05/22/decouv … fonctions/

Et la deuxième partie : https://blog.xebia.fr/2019/11/26/decouv … utabilite/

[Edit] En v'là un peu plus

https://linuxfr.org/users/guillaum/jour … paresseuse

https://linuxfr.org/users/guillaum/jour … -et-le-tri

https://linuxfr.org/users/guillaum/jour … ons-de-tri

https://linuxfr.org/news/sortie-de-ghc- … e-statique

http://lyah.haskell.fr/

Debian-facile

#1 07-05-2015 14:00:26

Le langage haskell

#2 08-05-2015 08:21:02

Re : Le langage haskell

#3 08-05-2015 08:28:18

Re : Le langage haskell

#4 10-05-2015 09:23:04

Re : Le langage haskell

#5 10-05-2015 09:42:02

Re : Le langage haskell

#6 10-05-2015 18:15:39

Re : Le langage haskell

#7 10-05-2015 18:29:57

Re : Le langage haskell

#8 16-05-2015 18:19:26

Re : Le langage haskell

#9 26-05-2015 11:10:24

Re : Le langage haskell

#10 28-01-2017 11:25:22

Re : Le langage haskell

#11 21-11-2019 11:27:18

Re : Le langage haskell

#12 26-11-2019 22:38:08

Re : Le langage haskell

Pied de page des forums