IntelliJ already provides decent support for it, including auto-completion. I assume with the new pull-based type checker similar things can be done for vim, emacs, etc.