JetBrains working on higher-abstraction programming language