No need to wait, you can pick Idris today, but it won't be a productive experience versus mainstream development tooling.