Shen Programming Language

Una REPL di un tipizzato linguaggio di programmazione funzionale opzionalmente statica

Shen è un linguaggio di programmazione funzionale che offre opzionale controllo dei tipi statica su Sequent Calcolo, macro Lisp, un Prolog integrato, un integrato generatore di parser, pattern matching, consistenza Lambda Calcolo e valutazione pigra opzionale.

Shen per Android fornisce un ambiente di programmazione in linea interattivo (REPL) sulla base di Shen-JVM, che è completamente conforme alla suite di test standard Shen. Una tastiera specializzata è fornita per facilitare l'inserimento di simboli e chiavi speciali. Ingressi al REPL vengono salvate automaticamente, che può essere caricato dal "Prev" e "Avanti" chiavi speciali.