|
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 'highest spirit' in Chinese and indicates
our goal is to transcend the divisions between computer
languages. Shen is derived from the award winning Qi language
to run under 14 different languages.
Since 2021 Shen has been based on the S series kernels.
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,
- a BSD kernel under 15 languages (Lisp, Python, Javascript, C ...)
- and operating systems (Windows, Linux, OS/X),
- is extensively documented in a book
- has nearly a decade of use.
Read some reviews of Shen.
Publications
Find the support pages and purchase links for materials on Shen below.
|
LATEST NEWS
The open science initiative.
Hundreds of free online pages on Shen technology to appear in 2025.
|
