I've been working on a typed, functional-imperative, full stack programming language with IDE support: https://www.firefly-lang.org/