Shen is a Lisp-family functional language that unifies pattern matching, macros, lazy evaluation, a sequent-calculus-based type system, embedded Prolog, and a compiler-compiler in one environment.

 Shen is a Lisp-family functional language that unifies pattern matching, macros, lazy evaluation, a sequent-calculus-based type system, embedded Prolog, and a compiler-compiler in one environment. Since 2021 it has converged on a lightweight S-series kernel featuring a partial-application core, typed YACC, GC’d Prolog, and packages/I/O/hash tables. Learn via “Shen in 15 minutes” and The Book of Shen. Distributions include the latest S-kernel, stdlib 2.x, Shen/tk (Tcl/Tk GUI), and Yggdrasil for stand-alone builds. In 2025 “Open Shen” offers extensive free materials. Shen runs on many host languages with cross-platform sources. With a REPL, type inference, pattern-oriented definitions, and abstractions for exceptions/streams/maps, its small core plus rich standard libs support DSL design, proof-flavored type checking, and mixing logic/functional/imperative styles. Yggdrasil enables single binaries, Shen/tk enables simple GUIs, and curated samples/tutorials help both research and production users seeking strong expressiveness in short code.


Comments

Popular posts from this blog

go ahead baby, now on sale!!

Just Go For It, Baby by Red Sweet Pea