Le calcul lambda en pratique

Question

Comment choisir une langue, un terme lambda (λx.y) ((λx.xxx) (λx.xxx)) réellement calculé? En d'autres termes, besoin d'une langue à la réduction de l'ordre normal et le système de type faible.

Answer 1

Que cherchez-vous et qu'avez-vous trouvé jusqu'à présent?

Je dirais qu'il n'y a pas de langage standard qui répond à cette exigence, car dans la plupart des langues vous avez toujours des types différents, pas seulement des termes non typés. Vous avez probablement besoin d'un interpréteur de lambda calcul pur (la mise en œuvre d'un est un bon exercice).