Yggdrasil 1.0

The Shen programming language and kernel that runs on top of multiple host languages and operating systems to address fragmentation between programming languages. It provides a portable functional language with pattern matching, static typing, and logic programming capabilities. It is for programmers and developers who work across different language platforms. It is positioned as derived from the Qi language and designed to transcend divisions between languages by running under 14 to 15 host languages including Lisp, Python, Javascript and C on Windows, Linux and OS/X.

Key features

• pattern matching
• lambda calculus consistency
• macros for domain specific languages
• optional lazy evaluation
• static type checking via sequent calculus
• integrated fully functional Prolog
• inbuilt compiler-compiler
• BSD kernel under 15 languages
• runs on Windows, Linux, OS/X