I'd try Racket (Scheme family) or ReasonML.