Qu'entends-tu par backend et frontend pour un langage ?
Pour ce qui est des langages chouettes, il n'y en a qu'un : le lambda-calcul ! :-P
1936 - Alonzo Church also invents every language that will ever be but does it better. His lambda calculus is ignored because it is insufficiently C-like. This criticism occurs in spite of the fact that C has not yet been invented.
Et puis, comme le rappelle Philipp Wadler dans cette vidéo sur le thème "propositions as types"1, même Turing considérait que c'était le meilleur langage pour exprimer la notion de calculabilité, le concept de sa machine servant avant tout à résoudre la polémique entre Church et Gödel.
De toute façon, je soutiens que tous ces travaux (de même que la question de la vidéo de Wadler : is mathematics invented or discovered ?) sont contenus, en germe et en puissance, dans l'œuvre kantienne, en particulier dans son concept de schème et sa théorie du schématisme. Surtout que contrairement au langage du même nom, ses schèmes sont statiquement typés via le principe : propositions as types. :-)
D'ailleurs pour la question de Wadler, je préfère la formulation : « la mathématique est-elle inventée ou créée ? »; ce à quoi je réponds : inventée, en prenant le concept dans l'acception qu'il a chez les juristes où est qualifié d'inventeur la personne qui découvre un trésor, trésor qui préexiste à sa découverte.
dans le papier qui l'accompagne, il publie une correspondance avec William Howard très intéressante à lire. ↩
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Dommage alors
Posté par kantien . En réponse au journal LLVM se fait de vieux os ? La recherche pour rester jeune.. Évalué à 0. Dernière modification le 21 décembre 2016 à 16:27.
Qu'entends-tu par backend et frontend pour un langage ?
Pour ce qui est des langages chouettes, il n'y en a qu'un : le lambda-calcul ! :-P
Depuis que Perthmâd a posté le lien vers cette histoire brève, incomplète et globalement erronées des langages de programmation, je ne m'en lasse pas.
Et puis, comme le rappelle Philipp Wadler dans cette vidéo sur le thème "propositions as types"1 , même Turing considérait que c'était le meilleur langage pour exprimer la notion de calculabilité, le concept de sa machine servant avant tout à résoudre la polémique entre Church et Gödel.
De toute façon, je soutiens que tous ces travaux (de même que la question de la vidéo de Wadler : is mathematics invented or discovered ?) sont contenus, en germe et en puissance, dans l'œuvre kantienne, en particulier dans son concept de schème et sa théorie du schématisme. Surtout que contrairement au langage du même nom, ses schèmes sont statiquement typés via le principe : propositions as types. :-)
D'ailleurs pour la question de Wadler, je préfère la formulation : « la mathématique est-elle inventée ou créée ? »; ce à quoi je réponds : inventée, en prenant le concept dans l'acception qu'il a chez les juristes où est qualifié d'inventeur la personne qui découvre un trésor, trésor qui préexiste à sa découverte.
dans le papier qui l'accompagne, il publie une correspondance avec William Howard très intéressante à lire. ↩
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.