2 ms·
Shen is an interesting offering in this respect https://shenlanguage.org https://shenlanguage.org Probably doesn't cover the 'optimized native code' part but i
by samatman 4y ago
Shen is an interesting offering in this respect https://shenlanguage.org https://shenlanguage.org
Probably doesn't cover the 'optimized native code' part but it obviously could, like many programming languages it is, practically speaking, a one-man show.
Not only is Shen inherently statically-typed (it's not annotations over a dynamic core language) but the type system is based on sequent calculus and is expressive and powerful. It would be nice to see what a Nim-sized community could do with it over five to ten years.
- xigoi 4y agoShen looks interesting, but I can't figure out how to install it. I've entered a Common Lisp REPL in the downloaded directory and entered (load "install.lsp"), which printed out a lot of stuff. Now what?
- alexisread 4y agoActually shen can kind of handle dynamic type checking, I think only this and Maude https://maude.lcc.uma.es/maude321-manual-html/maude-manual.html https://maude.lcc.uma.es/maude321-manual-html/maude-manual.h... can do that. I found the best way to learn shen was the book of shen: https://shenlanguage.org/TBOS/tbos_255.html https://shenlanguage.org/TBOS/tbos_255.html (dynamic type checking example here)