Elm - The Best of Breed in Compiler Assistance

The main thing about Elm is it's absolutely best of breed in compiler assistance for not just throwing up errors, but teaching you to understand what the error means. It does have this idea of control- It's Haskell minus minus. And I built production projects in Elm front-end. And it's really nice. It scales up really well. You get this whole system-wide integration check. When you compile a codebase, you are checking if every place this function gets called by anyone in the whole codebase, we've at least checked that the types line up. Now if you add that to a language that has a really sophisticated type system...you increase that from being a basic check