https://shenlanguage.org/

Web Analytics Made Easy - Statcounter
                                  
  

                            The Shen Group

 [logo3]
                             

                             
 Home Learn Download  Community  Open Science  Donate  Contact

 Our mission is to bring the         LATEST NEWS
 power of Shen technology to
 every major programming             The support page for the text
 platform used by industry           Programming the Logic Lab now
 and deliver to programmers          includes readable online
 the great power of Shen.            access to the book.

 The word 'Shen' means               ______________________________
 'highest spirit' in Chinese
 and indicates our goal is to        The support page for the text
 transcend the divisions             Logic, Proof and Computation 
 between computer languages.         is established.

 Since 2021 Shen has been            ______________________________
 based on the S series
 kernels.                            THORN Theorem prover derived
                                     from HORN clause logic is
 Features                            available.

   * pattern matching,               ______________________________
   * lambda calculus
     consistency,                    Shen Education Channel starts
   * macros for defining             on Youtube.
     domain specific
     languages,                      ______________________________
   * optional lazy
     evaluation,                     Yggdrasil project launched -
   * static type checking            the grand unification of
     based on sequent                programming languages.
     calculus,
   * one of the most powerful        ______________________________
     systems for typing in
     functional programming,         Want to advertise on this
   * an integrated fully             site? Go to the contacts page.
     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.

 +--------------------------+
 | TBoS4 | LPC3 | Logic Lab |
 +--------------------------+


    Built by Shen Technology (c) Mark Tarver, September 2021