Les caches de µops étaient utilisé dans le Pentium 4, mais plus maintenant, cela prendre trop de place (sauf gestion de boucle).
Si ARM ne fait pas quelques intructions spécialisées pour tout ce qui est couteux (controlleur DRAM dans le cpu, instruction pour les hash, la compression, la crypto), ils se feront manger par intel.
La consomation statique est gérée depuis longtemps : on coupe tout (horloge et alimentation). Les téchniques sont connues. Le vrai défi c'est la consommation max à 100%, quand on navigue sur internet ou joue a Angry Bird.
En effet, Texas instrument avait ses propres usines orienté basse consommation, mais aujourd'hui utilise une fab coréenne comme tout le monde presque, sauf intel. Ils ont ainsi perdu leur avance sur la consommation.
L'avantage est tellement énorme de rester compatible PC, que jamais intel ne fera l'erreur d'inventer encore un nouveau truc. ARM n'a pas vraiment de définition d'architecture d'ordinateur, il suffit de voir les drviers linux de plateforme arm, pour le comprendre.
Le x86 peut contenir des sortes de vliw internes, c'est un peu loin des RISC.
"C'est aussi quelque chose de primordial à saisir pour appréhender les obstacles qu'a le x86 à franchir pour la basse consommation,"
Le seul problème de intel est son inertie interne, c'est tout. Le x86 a par exemple une densité de code très élèvé, supérieur à l'arm. C'est un avantage énorme pour l'efficacité du cache de code.
Intel a sorti, il y a 5 ans, un cpu qui consommait en sommeil autant qu'un ARM à 100%. Aujourd'hui, le dernier soc intel (medfield) consomme moins, soit moins de mips par watt qu'un arm.
Et en plus, l'itanuim était un des seul processeurs VLIW supporté par gcc, difficile de faire fonctionner les optimisations dédiers au coeur superscalaire. Le seul autre VLIW un peu connu est le DSP c6000 de chez Ti.
"en pratique, chaque instruction est ensuite décomposée en micro-instructions qui suivent les principes de RISC."
Le ISC de RISC et CISC, veut dire "instruction set computer". On parle du jeu d'instruction et pas du tout de la micro-architecture interne. Le but premier des mips et sparc, les 1ers RISC, était de réduire la taille du pipeline en ayant l'unité de load/store bien séparé de l'ALU. Le nombre réduit de mode d'adressage (le moyen de choper les data, ici par registre quasi exclusivement) était aussi un avantage de simplicité.
"Decode → Execute → Memory" n'est clairement pas un "risc".
Aujourd'hui, le x86 est toujours plus complexe, et il me semble que la grammaire de l'assembleur x86 est ambiguë. Le décodeur est donc un monstre, ce qui permet à intel de mettre une sacré barrière à l'entré sur son marché. De l'autre coté le PowerPC dispose de plein de mode d'adressage, qui' l'éloigne aussi du risc. La taille des instructions des nouveaux ARM est mixte 16/32 bits.
On peut lire que les principes RISC ont "gagné", mais je pense surtout que les RISC sont devenus des CISC.
"simplement « sauter » l'étage mémoire du pipeline"
C'est simplement impossible car la mémoire peut aussi générer des données. Ce genre de bypass implique que l'étage suivant à des entrées multiples, et c'est tout, sauf simple.
"VLIW : Cependant, le bilan énergétique peut être désastreux (après tout, toutes les instructions sont exécutées, qu'elles soient utiles ou pas !)."
C'est même pire que ça, puisque le cpu peut passer sont temps à exécuter des instructions inutiles. Le fait de ne pas pouvoir faire correctement d’ordonnancement statique par le compilateur, en sans doute la raisons principale de l'échec de l'itanium qui devait prendre le relève du x86 pour le 64 bits. Mais il fallait des caches internes monstrueux à l'itanium pour aller vraiment plus vite que les Xeon (sauf en flottant).
" Les processeurs de type SPARC utilisent ces registres pour accélérer les changements de contexte entre threads/processus."
Perdu, les banc de registres à fenêtre , c'est pour les appels de fonctions. Sur SPARC, il y a 32 registres, 8 globaux et 3 paquets de 8 glissant sur une fenêtre de 128 registres ou plus. A chaque call, tout se décale de 8 registres, cela permet d'offrir 8 registres tout frais, sans faire de sauvegarde dans la pile (moins besoin de registre "callee save"). Par contre, une fois qu'il n'y plus de place, il y a une interruption pour tout sauver en mémoire. sur de gros programme avec beaucoup d'appel, cela peut tuer l'avantage de la simplification des fonctions.
Si le but est de faire des échanges de fichiers, le binaire de bitorrent peut être utiliser telquel. Il reste les notifications (le push) a coder. Mais on eut imaginer un message purement textuel que l'on mettre n'importe ou (forum, twitter, tribune,…).
On peut imaginer que chaque bloc est crypté avec un AES, la clef est dans le fichier chapeau. Il suffit qu'un fichier top, soit crypté avec gpg, pour que "ses amis" puissent lire l'arborescence, non ?
Pourquoi rester avec http ? On peut imaginer utiliser bittorrent pour diffuser les données. On peut même imaginer une sauvegarde par duplication chez les voisins, sécurisé par le cryptage symétrique, cela permet d'évacuer le problème de disponibilité des données si elles sont dupliquées et accessible ailleurs que sur un serveur perso.
On peut même utilisé un cloud sans avoir peur de la NSA (sauf si elle casse de l'AES ayant une clef issue d'un vrai hasard et non un hash de mot de passe trouvé par un humain)
Pourquoi avoir choisi sha1, et pas un truc encore complétement sûr comme sha256 ?
Pour gérer les mises à jour, pourquoi ne peut jouer sur un numero de version basé sur une date, dans le fichier chapeau ?
"les hommes viennent de mars et les femmes de vénus"
Pourquoi taper la-dessus ? C'est la mode chez les anthropologues ? CE livres parlent de façon de communiquer. donc le rapport avec la bouffe…
Et le plus drôle est que dans la préface l'auteur précise, que lors de ses conférences, il a vu plusieurs fois, les schémas qu'il décrit mais à l'envers.
"Après, je me souviens avoir discuté avec un admin (bossant à Troyes je crois bien), qui se désolait du fait que chaque fac ou centre de recherche voulait son cluster (qui du coup va être occupé à 25%), alors qu'il serait tellement plus économique qu'elles mutualisent les ressources et achètent un seul cluster partagé, avec une équipe d'admins uniques…"
En même temps, une "université" US n'est pas du tout la même chose qu'une "Université" Française. A moment, ils voulaient créer l'université de Paris, en fusionnant tous les numéros pour augmenter leur masse critique. Ainsi chaque université pourrait avoir son cluster mais réellement utilisé. Ou alors, il faut rendre obligatoire la disponibilité du cluster pour d'autre université pour les creux.
Mais ce qui me désole le plus, c'est qu'il y a mon nom écrit en gros au dessus, et qu'on bosse dans la même boite, sans que tu es l'air de t'en apercevoir. Tu es sans doute à Toulouse, mais bon, la boite fait moins de 100 personnes…
Vous avez combien d'admin pour les 2 noeud de calcul ? Cela ne serait pas mieux mutualisé, si les noeuds était à l'Idris ? J'ai l'impression que les fac font leur tambouille juste pour éviter de la gestion administrative. Je me trompe ?
Ensuite, un PC multi socket reste un PC, c'est donc facile à gérer. J'imagine que cela compte aussi.
-"Cependant dans le cadre du HPC, je peux te garantir que si tu peux te passer de l'overhead de MPI et passer par de la mémoire partagée, le gain en vitesse, bien que « juste » constant, peut être significatif "_
J'en suis persuadé, mais vous ne réutilisez jamais de code commun ou générique écrit uniquement en MPI ?
Tu n'assignes jamais en fonctionnel :) Cela parait dingue quand on vient du C, mais on s'y fait très bien.
D'ailleurs, j’attends un langage avec un type (linéaire) qui empêche qu'un bloc de mémoire soit pointé par plus d'un pointeur. Cela rend hyper simple le multi-tache.
En ocaml, tu peux ajouter aussi les types avec des ":", quand tu le fais, le code est beaucoup moins lisible qu'en C. Ce qui est amusant, car ocaml est beaucoup plus compact que le C, dans le cas général.
Pour simplifier, dans un GADT par rapport au type somme classique, tu peux y mettre des fonctions en plus des type de donnés. Ok.
L'exemple d'AST que tu donnes, je pense que cela peut se coder avec des variants en jouant sur des ensembles fermés.
"De façon générale, mais ce n’est que mon avis, les fonctions avancées des langages fonctionnels sont surtout intéressantes parce qu’elles permettent d’écrire rapidement et de façon très concise (surtout en Haskell) du code sûr et performant."
Tout le monde veut écrire du code rapidement et sans bug !
[^] # Re: p2p-wars ?
Posté par Nicolas Boulay (site web personnel) . En réponse au message Je retrouve pas... un texte sur linux, le LL et tout ça, en parodie de StarWars. Évalué à 4.
Surtout surtout, ne commencez pas à lire ! Vous allez perdre 3 jours de votre vie.
"La première sécurité est la liberté"
[^] # Re: Je maintiens qu'il y a une partie qui n'est pas terrible
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Où vont les supercalculateurs ? D’où on vient, quels sont les problèmes, où l’on va (1re partie). Évalué à 7.
Les caches de µops étaient utilisé dans le Pentium 4, mais plus maintenant, cela prendre trop de place (sauf gestion de boucle).
Si ARM ne fait pas quelques intructions spécialisées pour tout ce qui est couteux (controlleur DRAM dans le cpu, instruction pour les hash, la compression, la crypto), ils se feront manger par intel.
La consomation statique est gérée depuis longtemps : on coupe tout (horloge et alimentation). Les téchniques sont connues. Le vrai défi c'est la consommation max à 100%, quand on navigue sur internet ou joue a Angry Bird.
"La première sécurité est la liberté"
[^] # Re: Je maintiens qu'il y a une partie qui n'est pas terrible
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Où vont les supercalculateurs ? D’où on vient, quels sont les problèmes, où l’on va (1re partie). Évalué à 6.
En effet, Texas instrument avait ses propres usines orienté basse consommation, mais aujourd'hui utilise une fab coréenne comme tout le monde presque, sauf intel. Ils ont ainsi perdu leur avance sur la consommation.
L'avantage est tellement énorme de rester compatible PC, que jamais intel ne fera l'erreur d'inventer encore un nouveau truc. ARM n'a pas vraiment de définition d'architecture d'ordinateur, il suffit de voir les drviers linux de plateforme arm, pour le comprendre.
"La première sécurité est la liberté"
[^] # Re: Je maintiens qu'il y a une partie qui n'est pas terrible
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Où vont les supercalculateurs ? D’où on vient, quels sont les problèmes, où l’on va (1re partie). Évalué à 4.
Le x86 peut contenir des sortes de vliw internes, c'est un peu loin des RISC.
"C'est aussi quelque chose de primordial à saisir pour appréhender les obstacles qu'a le x86 à franchir pour la basse consommation,"
Le seul problème de intel est son inertie interne, c'est tout. Le x86 a par exemple une densité de code très élèvé, supérieur à l'arm. C'est un avantage énorme pour l'efficacité du cache de code.
Intel a sorti, il y a 5 ans, un cpu qui consommait en sommeil autant qu'un ARM à 100%. Aujourd'hui, le dernier soc intel (medfield) consomme moins, soit moins de mips par watt qu'un arm.
"La première sécurité est la liberté"
[^] # Re: De la nécessité de faire des incantations vaudou sur le code
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Où vont les supercalculateurs ? D’où on vient, quels sont les problèmes, où l’on va (1re partie). Évalué à 5.
Et en plus, l'itanuim était un des seul processeurs VLIW supporté par gcc, difficile de faire fonctionner les optimisations dédiers au coeur superscalaire. Le seul autre VLIW un peu connu est le DSP c6000 de chez Ti.
"La première sécurité est la liberté"
[^] # Re: quelques trucs !
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Où vont les supercalculateurs ? D’où on vient, quels sont les problèmes, où l’on va (1re partie). Évalué à 2.
Je pensais à thumb2 pour arm.
La dizaine d'octet se trouve surtout avec les instructions qui peuvent avoir 2 adresses mémoire immédiat en dure. C'est long mais pas trop complexe.
"La première sécurité est la liberté"
[^] # Re: quelques trucs !
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Où vont les supercalculateurs ? D’où on vient, quels sont les problèmes, où l’on va (1re partie). Évalué à 2.
Je pense aussi que je me trompe, et que l'étage Ex dans le cas d'un load sert à faire des calculs d'adresse.
Dans un cpu moderne, c'est complètement séparé.
"La première sécurité est la liberté"
[^] # Re: De la nécessité de faire des incantations vaudou sur le code
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Où vont les supercalculateurs ? D’où on vient, quels sont les problèmes, où l’on va (1re partie). Évalué à 5.
tu viens de réinventer "Lisaac" ! (Mais il est mort)
"La première sécurité est la liberté"
# quelques trucs !
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Où vont les supercalculateurs ? D’où on vient, quels sont les problèmes, où l’on va (1re partie). Évalué à 7. Dernière modification le 05 juillet 2013 à 16:01.
"en pratique, chaque instruction est ensuite décomposée en micro-instructions qui suivent les principes de RISC."
Le ISC de RISC et CISC, veut dire "instruction set computer". On parle du jeu d'instruction et pas du tout de la micro-architecture interne. Le but premier des mips et sparc, les 1ers RISC, était de réduire la taille du pipeline en ayant l'unité de load/store bien séparé de l'ALU. Le nombre réduit de mode d'adressage (le moyen de choper les data, ici par registre quasi exclusivement) était aussi un avantage de simplicité.
"Decode → Execute → Memory" n'est clairement pas un "risc".
Aujourd'hui, le x86 est toujours plus complexe, et il me semble que la grammaire de l'assembleur x86 est ambiguë. Le décodeur est donc un monstre, ce qui permet à intel de mettre une sacré barrière à l'entré sur son marché. De l'autre coté le PowerPC dispose de plein de mode d'adressage, qui' l'éloigne aussi du risc. La taille des instructions des nouveaux ARM est mixte 16/32 bits.
On peut lire que les principes RISC ont "gagné", mais je pense surtout que les RISC sont devenus des CISC.
"simplement « sauter » l'étage mémoire du pipeline"
C'est simplement impossible car la mémoire peut aussi générer des données. Ce genre de bypass implique que l'étage suivant à des entrées multiples, et c'est tout, sauf simple.
"VLIW : Cependant, le bilan énergétique peut être désastreux (après tout, toutes les instructions sont exécutées, qu'elles soient utiles ou pas !)."
C'est même pire que ça, puisque le cpu peut passer sont temps à exécuter des instructions inutiles. Le fait de ne pas pouvoir faire correctement d’ordonnancement statique par le compilateur, en sans doute la raisons principale de l'échec de l'itanium qui devait prendre le relève du x86 pour le 64 bits. Mais il fallait des caches internes monstrueux à l'itanium pour aller vraiment plus vite que les Xeon (sauf en flottant).
" Les processeurs de type SPARC utilisent ces registres pour accélérer les changements de contexte entre threads/processus."
Perdu, les banc de registres à fenêtre , c'est pour les appels de fonctions. Sur SPARC, il y a 32 registres, 8 globaux et 3 paquets de 8 glissant sur une fenêtre de 128 registres ou plus. A chaque call, tout se décale de 8 registres, cela permet d'offrir 8 registres tout frais, sans faire de sauvegarde dans la pile (moins besoin de registre "callee save"). Par contre, une fois qu'il n'y plus de place, il y a une interruption pour tout sauver en mémoire. sur de gros programme avec beaucoup d'appel, cela peut tuer l'avantage de la simplification des fonctions.
"La première sécurité est la liberté"
[^] # Re: Que du bon
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le noyau Linux 3.10 est sorti. Évalué à 3.
Et pouvoir ou pas basculer sur les drivers propriétaires juste pour lancer un jeu, et garder nouveau le reste du temps, c'est prévu ?
"La première sécurité est la liberté"
# mouais...
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le thème surprise de linuxfr.org ce soir.. Évalué à 6.
C'est pas mal. Sauf que sur un écran 16/9, il doit y a avoir 40% de bande marron inutile.
"La première sécurité est la liberté"
[^] # Re: Petites précisions
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Camlistore, système de stockage universel, opensource et protégeant de la vie privée?. Évalué à 2.
Si le but est de faire des échanges de fichiers, le binaire de bitorrent peut être utiliser telquel. Il reste les notifications (le push) a coder. Mais on eut imaginer un message purement textuel que l'on mettre n'importe ou (forum, twitter, tribune,…).
"Quelles mises à jour?"
Celle d'une donnée, un blob.
"La première sécurité est la liberté"
[^] # Re: Petites précisions
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Camlistore, système de stockage universel, opensource et protégeant de la vie privée?. Évalué à 2.
J'ai plein de question !
On peut imaginer que chaque bloc est crypté avec un AES, la clef est dans le fichier chapeau. Il suffit qu'un fichier top, soit crypté avec gpg, pour que "ses amis" puissent lire l'arborescence, non ?
Pourquoi rester avec http ? On peut imaginer utiliser bittorrent pour diffuser les données. On peut même imaginer une sauvegarde par duplication chez les voisins, sécurisé par le cryptage symétrique, cela permet d'évacuer le problème de disponibilité des données si elles sont dupliquées et accessible ailleurs que sur un serveur perso.
On peut même utilisé un cloud sans avoir peur de la NSA (sauf si elle casse de l'AES ayant une clef issue d'un vrai hasard et non un hash de mot de passe trouvé par un humain)
Pourquoi avoir choisi sha1, et pas un truc encore complétement sûr comme sha256 ?
Pour gérer les mises à jour, pourquoi ne peut jouer sur un numero de version basé sur une date, dans le fichier chapeau ?
"La première sécurité est la liberté"
[^] # Re: Il y a une meilleure explication
Posté par Nicolas Boulay (site web personnel) . En réponse au journal La viande combat les inégalités et les plans démoniaques. Évalué à -1.
"les hommes viennent de mars et les femmes de vénus"
Pourquoi taper la-dessus ? C'est la mode chez les anthropologues ? CE livres parlent de façon de communiquer. donc le rapport avec la bouffe…
Et le plus drôle est que dans la préface l'auteur précise, que lors de ses conférences, il a vu plusieurs fois, les schémas qu'il décrit mais à l'envers.
"La première sécurité est la liberté"
[^] # Re: 3x plus rapide sur mon benchmark pas représentatif
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche 22 v’là Firefox !. Évalué à 2.
oui, après j'ai retenu de tête le score de Fx21, et tu commences à me faire douter.
Pour accélérer l'asm.js, il faut tout de même un comportement du compilateur qui peut agir aussi sur du code classique mais bien écrit.
"La première sécurité est la liberté"
# 3x plus rapide sur mon benchmark pas représentatif
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche 22 v’là Firefox !. Évalué à 9.
J'ai testé le js sur mon benchmark préféré : le boot de linux dans une machine virtuelle de x86 en javascript : Je passe de 14s à 5.4s !
http://bellard.org/jslinux/
"La première sécurité est la liberté"
[^] # Re: drôle d'interrogation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Orbis OS le système qui ferait fonctionner la PS4 serait-il un FreeBSD ou un OpenSuse ?. Évalué à 3.
tu te marre mais avec une box standard connecté en permanence avec une webcam dessus, c'est tentant pour tout un tas de pirate.
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 2.
Et le pire est qu'un cluster pas trop chère devient obsolète en 3 ans. Finalement un PC de compétition à l'air très rentable.
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 2.
"Après, je me souviens avoir discuté avec un admin (bossant à Troyes je crois bien), qui se désolait du fait que chaque fac ou centre de recherche voulait son cluster (qui du coup va être occupé à 25%), alors qu'il serait tellement plus économique qu'elles mutualisent les ressources et achètent un seul cluster partagé, avec une équipe d'admins uniques…"
En même temps, une "université" US n'est pas du tout la même chose qu'une "Université" Française. A moment, ils voulaient créer l'université de Paris, en fusionnant tous les numéros pour augmenter leur masse critique. Ainsi chaque université pourrait avoir son cluster mais réellement utilisé. Ou alors, il faut rendre obligatoire la disponibilité du cluster pour d'autre université pour les creux.
"La première sécurité est la liberté"
[^] # Re: Bienvenue dans le merveilleux monde d'Ada !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Ok, tu parles de KCG :)
Mais ce qui me désole le plus, c'est qu'il y a mon nom écrit en gros au dessus, et qu'on bosse dans la même boite, sans que tu es l'air de t'en apercevoir. Tu es sans doute à Toulouse, mais bon, la boite fait moins de 100 personnes…
"La première sécurité est la liberté"
[^] # Re: La question a 1 giga yuan...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Sortie du Top 500 de juin 2013. Évalué à 2.
Vous avez combien d'admin pour les 2 noeud de calcul ? Cela ne serait pas mieux mutualisé, si les noeuds était à l'Idris ? J'ai l'impression que les fac font leur tambouille juste pour éviter de la gestion administrative. Je me trompe ?
Ensuite, un PC multi socket reste un PC, c'est donc facile à gérer. J'imagine que cela compte aussi.
-"Cependant dans le cadre du HPC, je peux te garantir que si tu peux te passer de l'overhead de MPI et passer par de la mémoire partagée, le gain en vitesse, bien que « juste » constant, peut être significatif "_
J'en suis persuadé, mais vous ne réutilisez jamais de code commun ou générique écrit uniquement en MPI ?
"La première sécurité est la liberté"
[^] # Re: Bienvenue dans le merveilleux monde d'Ada !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Je n'ai rien présumé du tout, je répondais juste à : "Je déclare toto ou je l'assigne ?"
"(sur un projet que tu dois sûrement connaître vu que tu en parles souvent ici)"
Je parle beaucoup ici, tu parles de quoi exactement ?
"La première sécurité est la liberté"
[^] # Re: Bienvenue dans le merveilleux monde d'Ada !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
Tu n'assignes jamais en fonctionnel :) Cela parait dingue quand on vient du C, mais on s'y fait très bien.
D'ailleurs, j’attends un langage avec un type (linéaire) qui empêche qu'un bloc de mémoire soit pointé par plus d'un pointeur. Cela rend hyper simple le multi-tache.
"La première sécurité est la liberté"
[^] # Re: Bienvenue dans le merveilleux monde d'Ada !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 2.
En ocaml, tu peux ajouter aussi les types avec des ":", quand tu le fais, le code est beaucoup moins lisible qu'en C. Ce qui est amusant, car ocaml est beaucoup plus compact que le C, dans le cas général.
"La première sécurité est la liberté"
[^] # Re: langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 1.
Pour simplifier, dans un GADT par rapport au type somme classique, tu peux y mettre des fonctions en plus des type de donnés. Ok.
L'exemple d'AST que tu donnes, je pense que cela peut se coder avec des variants en jouant sur des ensembles fermés.
"De façon générale, mais ce n’est que mon avis, les fonctions avancées des langages fonctionnels sont surtout intéressantes parce qu’elles permettent d’écrire rapidement et de façon très concise (surtout en Haskell) du code sûr et performant."
Tout le monde veut écrire du code rapidement et sans bug !
"La première sécurité est la liberté"