I think you get a lot of value. I think the question of strong types is somewhat orthogonal to the value of purity. But, having strong types allows you to be sure about what is actually doing what, and where, so you can track side effects.
Pattern matching and algebraic data types are wonderful ways to encode domain rules. But, with something like ocaml, you won't be sure that when you call a function the only thing that happens is you get an object of the return type. -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
