Bien souvent, dans le monde Scheme/Lisp, on etudie en profondeur les interpretes dits "meta-circulaires" ou` les primitives du langages interprete' sont interpretees par les primitives correspondantes du langage hote. Pour peu qu'une semantique (souvent denotationelles) du langage hote soit connue, le bootstrap permet alors d'obtenir "a peu de frais" une semantique du nouveau langage. Et donc un support mathematique pour l'etude des proprietes de ce langage, de sa robustesse, de sa validite' conceptuelle.
Et bien souvent, le but de la creation d'un langage est d'apporter de nouveaux concepts. Avec le bootstrap, une fois le concept cree, t'as plus qu'a l'utiliser ! Avoue qu'il serait dommage de creer un truc uber cool et de pas pouvoir en profiter dans l'application que tu developpes...
[^] # Re: bootstrapping myself
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Le langage Arc, issu de Common Lisp et Scheme, a un mois. Évalué à 4.
Et bien souvent, le but de la creation d'un langage est d'apporter de nouveaux concepts. Avec le bootstrap, une fois le concept cree, t'as plus qu'a l'utiliser ! Avoue qu'il serait dommage de creer un truc uber cool et de pas pouvoir en profiter dans l'application que tu developpes...