Un REPL d'un langage de programmation fonctionnel typé statique en option
Shen est un langage de programmation fonctionnelle qui offre en option la vérification de type statique basée sur Sequent Calcul, macros Lisp, un Prolog intégré, un compilateur compilateur intégré, pattern matching, la cohérence lambda-calcul, et en option l'évaluation paresseuse.
Shen pour Android fournit un environnement de programmation interactive en ligne (REMP) basé sur Shen-JVM, qui est totalement conforme à la suite de tests standard Shen. Un clavier spécialisé est fourni pour faciliter l'entrée des symboles et des touches spéciales. Les entrées du REPL sont automatiquement enregistrés, qui peuvent être chargés par les touches spéciales « Précédent » et « Suivant ».