A New Interpretor for PARI/GP
Abstract
When Henri Cohen and his coworkers set out to write PARI twenty years ago, GP was an afterthought. While GP has become the most commonly used interface to the PARI library by a large margin, both the gp interpretor and the GP language are primitive in design. Paradoxically, while gp allows to handle very high-level objects, GP itself is a low-level language coming straight from the seventies.We rewrote GP as a compiler/evaluator pair, implementing several high-level features (statically scoped variables, anonymous functions, closures as first class objects) that should move GP into the nineties.
Quand Henri Cohen et ses collaborateurs décidèrent d’écrire la bibliothèque PARI il y a vingt ans, la création d’un langage et d’un interpréteur pour la manipuler a été un effet secondaire, presque accidentel. Bien que le langage GP soit devenu l’interface de la bibliothèque PARI de très loin la plus utilisée, et permette la manipulation d’objets de très haut niveau, il est resté très primitif, de même que son interprèteur gp, venant directement des années 70.Nous avons réécrit gp comme un compilateur/évaluateur, implantant plusieurs functionnalités de haut-niveau, qui devrait permettre à GP d’entrer dans les années 90.
Domains
Discrete Mathematics [cs.DM]Origin | Files produced by the author(s) |
---|