Lambda Le projet Lambda est un interpréteur de calcul de la Lambda.
Télécharger maintenant

Lambda Classement & Résumé

Lambda Mots clés

interprète calcul lambda INTERPRÈTE DE CALCULUS Expressions Lambda Les entiers Lambda

Lambda La description

Le projet Lambda est un interpréteur de calcul de la Lambda. Le projet Lambda est un interpréteur de calcul de la Lambda.Il réduit les expressions Lambda et les convertit dans les combinaiseurs S, K et I (ext). Il a la possibilité d'associer des noms avec des expressions Lambda (DEF), de charger les définitions d'un fichier (charge) et de la liste des définitions de courant (liste). Les expressions Lambda représentant des entiers sont automatiquement définies au besoin. De nombreux combinaisons intéressants sont fournis dans un fichier de définition. Différents réglages sont fournis pour influencer la manière dont la réduction et l'extraction sont effectuées (définies). Un court manuel est fourni montrant comment Works de Lambda.Certaines caractéristiques clés de "Lambda": · Charger l'expression de Lambda prédéfinie · Nombres définitions fournies: Nombres Y IsZero List 1st 2e 3ème Ajouter MUL EXP Liste Suc Pred. . . · Définitions de nombres automatiques. · Interpréter les expressions de Lambda. · Interprétation unique. · Réductions de commande normale ou d'application. · Extraction variable (conversion de ski) · Définitions de liste. · LibstDC ++ Quoi de neuf dans cette Libération: · Ajouter un drapeau xapp pour la commande ext. · Made Ext se comporter de manière cohérente lors de l'extraction d'expressions constantes. · Ajouter le prétraitement du manuel d'utilisation. Cela insère automatiquement une table des matières et fait des traductions d'entité de caractère.

Lambda Logiciels associés