This programming language may be used to instruct a computer to perform a task.
Shen is a portable functional programming language that offers
- 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
- portability over many languages,
- an integrated fully functional Prolog,
- an inbuilt compiler-compiler.
- has a BSD kernel
The word ‘Shen’ is Chinese for 'spirit' and our motto reflects our desire to liberate our work to live under many platforms.
Pages in category "Shen"
The following 23 pages are in this category, out of 23 total.