<story><title>Understanding the Elm type system</title><url>http://www.adamwaselnuk.com/elm/2016/05/27/understanding-the-elm-type-system.html</url></story><parent_chain></parent_chain><comment><author>spion</author><text>&amp;gt; For example, when writing an Elm program I might at some point decide that users should have an admin flag. I will then try to use that flag in a function at which point the compiler will tell me that I have failed to add it to the User model. I will add it to the model at which point the compiler will tell me that I have failed to account for it in my main update function.&lt;p&gt;This beautifully explains why types are so useful. I don&amp;#x27;t know if the number of bugs goes down, but it sure is useful to have an assistant check &lt;i&gt;all&lt;/i&gt; the implications of a change I want to make, and does that in a second.</text></comment>
<story><title>Understanding the Elm type system</title><url>http://www.adamwaselnuk.com/elm/2016/05/27/understanding-the-elm-type-system.html</url></story><parent_chain></parent_chain><comment><author>ghayes</author><text>At first glance, Elm&amp;#x27;s type system looks like it borrows heavily from Haskell [0]. Learning Haskell&amp;#x27;s type system is a great mental exercise, even if you don&amp;#x27;t even up coding in the language.&lt;p&gt;[0] Basics: &lt;a href=&quot;http:&amp;#x2F;&amp;#x2F;learnyouahaskell.com&amp;#x2F;types-and-typeclasses&quot; rel=&quot;nofollow&quot;&gt;http:&amp;#x2F;&amp;#x2F;learnyouahaskell.com&amp;#x2F;types-and-typeclasses&lt;/a&gt;</text></comment>