Bonjour,

J'ai récemment eu à concevoir un DSL et en recherchant quelques informations et bonnes pratiques je suis tombé sur ce lien contenant une vidéo youtube instructive.

L'idée est la suivante, pour intégrer un langage dédié dans un langage hôte (qui supporte des types algébriques), il y a au premier abord deux méthodes :

1. Construire un type algébrique correspondant à la syntaxe des expressions du langage, et ensuite construire des fonctions d'évaluation qui produisent les valeurs attendues à partir (…)

C'est passé presque inaperçu (étonnamment, même TF1 en a parlé), mais cela fait maintenant plusieurs semaines qu'aux États-Unis les sénateurs démocrates Charles Schumer et Joe Manchin demandent à ce que la pseudo-monnaie virtuelle Bitcoin soit déclarée hors-la-loi. Vu l'intérêt tout relatif et la probable arnaque mondialisée qu'est Bitcoin, on pourrait se dire que ce ne sera pas une grosse perte, mais Tor serait une victime collatérale de la demande.

Tout est parti d'une enquête de la DEA concernant (…)