|
|
|
|||||||||||||||
|
|
|
|||||||||||||||
Shen Home Page
Our Mission
Our mission is to bring the power of Shen technology to every major programming platform used by industry and deliver to programmers the great power of Shen. The word 'Shen' means 'spirit' in Chinese and indicates our goal is to transcend the divisions between computer languages and operating systems. The meditating Taoist is our logo.
You can learn about the Shen project in our 5 minute video
Learn Shen
To begin to learn Shen, browse the Learn Shen section. Download BSD versions of Shen from our open source download page. Shen Professional is a cloud-based high performance development of the open source Shen kernel incorporating graphics and concurrency for Shen enthusiasts.
Open Source Features
- pattern matching,
- lambda calculus consistency,
- macros for defining domain specific languages,
- optional lazy evaluation,
- static type checking based on sequent calculus, one of the most powerful systems for typing in functional programming,
- an integrated fully functional Prolog,
- an inbuilt compiler-compiler,
- has a BSD kernel that runs under a host of different languages (Lisp, Python, Javascript, C ...) and operating systems (Windows, Linux, OS/X),
- is extensively documented in a book
Reviews
|
||||||||||||||||||||||||
News
|
