Thanks for the link. Out of interest, have you play with Shen yourself? Did you build something with it?
Re:Write Yourself a Scheme in 48 Hours
by pseudonom- on Friday March 27, 2015 @09:23AM
(#9276065)
I've only messed around in the REPL. https://www.youtube.com/watch?v=lMcRBdSdO_U gives a fairly practical introduction.
Shen's type system is probably better described just as expressive.
http://shenlanguage.org/learn-shen/types/types_sequent_calcu... gives a sense of the flavor.