<div dir="auto">Indeed type safety is exactly what it’s for! The other notions of safety were never part of the goals. And it was designed so that the end user could decide which codes they deem trustworthy. </div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Dec 28, 2022 at 6:04 PM davean <<a href="mailto:davean@xkcd.com">davean@xkcd.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>The only part of Safe Haskell I ever really cared about was type safety. That's what matters, I think.</div><div><br></div><div>I've wanted to use it a number of times and played with it, but it's never actually managed to become an important part of anything for me.</div><div>So take that as you will. I'd love it if it worked well, its issues have limited what I attempt, but at the end of the day it's never hurt me too bad to not have it.</div></div><div dir="ltr"><div><br></div><div><br></div><div>-davean<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Dec 28, 2022 at 7:14 AM Tom Ellis <<a href="mailto:tom-lists-haskell-cafe-2017@jaguarpaw.co.uk" target="_blank">tom-lists-haskell-cafe-2017@jaguarpaw.co.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Tue, Dec 27, 2022 at 08:33:04PM -0700, Chris Smith wrote:<br>
> This conversation reminds me of a parable I encountered somewhere, in which<br>
> someone declares "I don't understand why this decision was ever made, and I<br>
> we should change it", and someone responds, "No, if you don't understand<br>
> the decision was made, then you don't know enough to change it.  If you<br>
> learn why it was decided that way in the first place, then you will have<br>
> the understanding to decide whether to change it."<br>
<br>
That parable is Chesterton's fence:<br>
<br>
<a href="https://en.wikipedia.org/wiki/G._K._Chesterton#Chesterton's_fence" rel="noreferrer" target="_blank">https://en.wikipedia.org/wiki/G._K._Chesterton#Chesterton's_fence</a><br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div></div>