Well, there is Shen which has a novel type system based on the sequent calculus:

http://shenlanguage.org/