Re: [elm-discuss] Type Checking in non-Pure Languages

2016-06-13 Thread John Orford
I suppose, what I am getting at, is what do you lose when you lose the preciseness you get w purity. What's it feel like compared to Elm for example? Anyone have any anecdotes? On Mon, 13 Jun 2016 at 16:09 Joel McCracken wrote: > I think you get a lot of value. > > I

[elm-discuss] Type Checking in non-Pure Languages

2016-06-13 Thread John Orford
A little off topic, but how much bang for the buck does type checking get you in languages like Reason, OCaml and F# etc.? It's one of my favourite features in Elm, and I suspect you would lose a lot by relaxing purity - even though a major selling point of though those languages is of course the