Shen is a functional programming language that offers optional static type checking based on Sequent Calculus, Lisp macros, an integrated Prolog, an inbuilt compiler-compiler, pattern matching, Lambda Calculus consistency, and optional lazy evaluation
Shen Programming Language
by Tatsuya Tsuda
What is it about?
Shen is a functional programming language that offers optional static type checking based on Sequent Calculus, Lisp macros, an integrated Prolog, an inbuilt compiler-compiler, pattern matching, Lambda Calculus consistency, and optional lazy evaluation.
App Store Description
Shen is a functional programming language that offers optional static type checking based on Sequent Calculus, Lisp macros, an integrated Prolog, an inbuilt compiler-compiler, pattern matching, Lambda Calculus consistency, and optional lazy evaluation.
Shen for iOS provides an offline interactive programming environment (REPL) based on Shen-C, which is fully conformant to the Shen standard test suite. A specialized keyboard is also provided to ease the input of symbols and special keys.
Disclaimer:
AppAdvice does not own this application and only provides images and links contained in the iTunes Search API, to help our users find the best apps to download. If you are the developer of this app and would like your information removed, please send a request to takedown@appadvice.com and your information will be removed.
AppAdvice does not own this application and only provides images and links contained in the iTunes Search API, to help our users find the best apps to download. If you are the developer of this app and would like your information removed, please send a request to takedown@appadvice.com and your information will be removed.