Merlin for Vim is an absolute delight to use. You get auto-complete, indentation, compile-on-save, type checking right within your editor with less than 5 lines of configuration.<p>For someone new to the type system, it helps a lot to compulsively keep checking the types of the expressions as you go along building the program.  Highly recommended.<p>PS: If you prefer screenshots - <a href="https:&#x2F;&#x2F;twitter.com&#x2F;prakharsriv9&#x2F;status&#x2F;689141428161802241" rel="nofollow">https:&#x2F;&#x2F;twitter.com&#x2F;prakharsriv9&#x2F;status&#x2F;689141428161802241</a>