Si tu aimes les scripts des langages pour scientifiques, je te conseille un bien meilleur langage tout aussi Turing-complet : Ltac, le langage des tactiques de Coq. Dynamiquement typé, à la syntaxe abstruse et à la sémantique pas clairement définie.
Une question en l'air, les langages d'assistant à la preuve sont-ils vraiment des langages de programmation ? Ils ne sont pas Turing-complet, la faute à Gödel : va coder un interpréteur d'un tel langage dans lui-même...
[^] # Re: Victoire de la communauté scientifique non-informaticienne!
Posté par Perthmâd . En réponse au journal Le langage C serait redevenu le langage le plus utilisé. Évalué à 2.
Une question en l'air, les langages d'assistant à la preuve sont-ils vraiment des langages de programmation ? Ils ne sont pas Turing-complet, la faute à Gödel : va coder un interpréteur d'un tel langage dans lui-même...