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