Quote:
j'ai encore beaucoup de mal à comprendre réelement ce que sont les Monads.
D'abord faut bien comprendre ce qu'est un foncteur. Après c'est plus facile de saisir ce qu'est la fameurse monade :)
Quote:
Apparement tu as l'air de bien connaître Lisp, aussi quels sont les différences que tu ferais entre ces deux langages ?
Houlà le sujet est très (trop) vaste. Ils sont à la fois très semblables et très différents.
Lisp est ultra vieux, est fonctionnel impur, est typé dynamiquement, avec une vitesse d'exécution proche de C, les programmes ne peuvent pas être prouvés. On peut charger du code à chaud, mais il est n'est pas paresseux.
Haskell est utra moderne, est fonctionnel pur, typé statiquement. Haskell implémente complètement le système de type Hindley Milner (ça fait toujours bien de sorti ça dans la conversation ;) ) , plus lent que C, les programmes peuvent être prouvés. On ne peut pas charger du code à chaud, mais il est totalement paresseux.
Le vieux (mais toujours en avance sur son temps à bien des égards) et le moderne sont deux langages formidables, avec des domaines d'utilisation privilégiés.
Tiens par exemple on implémentera volontiers en autre langage en Lisp alors qu'on écrira volontiers un compilateur pour un autre langage en haskell :)
Vraiment le sujet est trop vaste. Mais j'insiste sur un point. Ceux qui pense que Lisp est obsolète ont tort ;) Lisp après 50 ans reste génial.
D'abord faut bien comprendre ce qu'est un foncteur. Après c'est plus facile de saisir ce qu'est la fameurse monade :)
Houlà le sujet est très (trop) vaste. Ils sont à la fois très semblables et très différents.
Lisp est ultra vieux, est fonctionnel impur, est typé dynamiquement, avec une vitesse d'exécution proche de C, les programmes ne peuvent pas être prouvés. On peut charger du code à chaud, mais il est n'est pas paresseux.
Haskell est utra moderne, est fonctionnel pur, typé statiquement. Haskell implémente complètement le système de type Hindley Milner (ça fait toujours bien de sorti ça dans la conversation ;) ) , plus lent que C, les programmes peuvent être prouvés. On ne peut pas charger du code à chaud, mais il est totalement paresseux.
Le vieux (mais toujours en avance sur son temps à bien des égards) et le moderne sont deux langages formidables, avec des domaines d'utilisation privilégiés.
Tiens par exemple on implémentera volontiers en autre langage en Lisp alors qu'on écrira volontiers un compilateur pour un autre langage en haskell :)
Vraiment le sujet est trop vaste. Mais j'insiste sur un point. Ceux qui pense que Lisp est obsolète ont tort ;) Lisp après 50 ans reste génial.