Reviews
Shen is a cool language in the spirit of Lisp that modernizes it and is backed by cutting-edge research on
programming languages. It gives very thoughtful answers to problems we, the programmers' global tribe, are
collectively facing. Danial Luna
Shen is a natural evolutionary step along the long, winding path that is Lisp history. Many modern programming
languages are absorbing features that Lisp innovated long ago, but still the most exciting languages are Lisps.
Fogus
Shen ... has a logic-based type system with capabilities beyond even Haskell.
Quora
As I read more about [Shen], I was smitten. A modern, functional Lisp with pattern matching, currying, and an
optional, very powerful static type system? Sign me up!
SourceMatters
Something I found intriguing about Shen was that it was specifically designed for portability. It is implemented
in a language called K Lambda, which is a tiny Lisp consisting of only 46 functions. Port K Lambda and you have
ported Shen.
SourceMatters |
LATEST NEWS
The support page for Shen/tk - a type secure platform portable interface to TCL/tk.
______________________________
The support page for the text Programming the Logic Lab now includes readable online access to the book.
______________________________
The support page for the text Logic, Proof and Computation is established.
______________________________
THORN Theorem prover derived from HORN clause logic is available.
______________________________
Shen Education Channel starts on Youtube.
______________________________
Yggdrasil project launched - the grand unification of programming languages.
______________________________
Want to advertise on this site? Go to the contacts page. |