Démonstration de la bibliothèque betareduit (explications...).
Ceci est un démonstrateur de la librairie betareduit-v0.1.1. Comme son nom l'indique, elle sert à bêta-réduire des lambda-termes. La version 0.1.0 est librement distribuée mais est buguée. La version 0.1.1 sera mise en ligne courant octobre ou début novembre. Cette bibliothèque est extraite d'une bibliothèque plus importante, dans laquelle les calculs logiques et numériques sont intégrés. C'est un sous-projet du projet TaJaFr. Pour découvrir le lambda-calcul et ses applications à la linguistique, voir entre autres Blin 2009 (dans plusieurs bibliothèques universitaires). La syntaxe n'est pas tout à fait standard (pour l'instant). La voici: Pour toute question : blin@ehess.fr
L'alphabet:
- les chaînes de caractères commençant par des minuscules ou les chiffres sont des constantes.
- les chaînes commençant par des majuscules sont des variables.
- lbd, la virgule et les parenthèses sont des mots réservés.
Définitions des lambda termes (non typés):
- constantes et variables sont des termes
- T1 et T2 étant des termes, (T1.T2) est un terme.
- T étant un terme et X une variable, (lbdX, (T)) est un terme.
Attention, il y a une virgule après la variable.
C'est là la particularité (qui disparaîtra certainement bientôt.
- T1.T2.T3.T4.. est l'abréviation de ((((T1.T2).T3).T4)...)
2016/09/13
blin arob ehess . fr