Comment by michaels0620

Does Scala fit your idea of something in between? It has nice type inference features and does not require pure immutability.