<p dir="ltr">I couldn't live without ScopedTypeVariables. For me it's an essential tool when I want to figure out</p>
<p dir="ltr">1. if the type being inferred is the one I expect<br>
2. what type a specific thing in code I am working with is</p>
<p dir="ltr">Also useful for adding that one bit the inferer is missing without immediately modifying a complex type sig. I can do that later, but the proof of concept should be quick and easy.</p>
<p dir="ltr">Backwards compat: Isn't this what we have Haskell 98, Haskell 2010, etc?</p>
<br><div class="gmail_quote"><div dir="ltr">On Sat, 5 May 2018 04:35 Anthony Clayden, <<a href="mailto:anthony_clayden@clear.net.nz">anthony_clayden@clear.net.nz</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>This thread is a discussion about discussions, not the discussion itself ;-)<br><div class="gmail_quote"><div dir="auto"><br></div><div dir="auto">I'm cc'ing to the cafe; but I'd prefer replies to come to glasgow-haskell-users.</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">>> <span style="white-space:pre-wrap;background-color:rgb(255,255,255)">I can volunteer to at least scrape together all the objections to ScopedTypeVariables as currently. It's not yet a proposal, so not on github. Start a wiki page? A cafe thread? (It'll get lost.) A ghc-users thread? (It'll get ignored.)</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">> </span><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">... don’t care what forums or list or whatever. As long as it’s collated and </span><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">such</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">> It could even be on the prime issue tracker for prime proposals.  Just that it’s written down :)</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">Thanks Carter, but I understand Haskell Prime to be to assess mature/stable proposals (preferably already delivered as extensions). This discussion is at first going to be more exploratory:</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">* likes and dislikes about ScopedTypeVariables as currently.</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">* confusions experienced by users (especially newbies)</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">   -- although absolute newbies wouldn't be using it(?), so intermediates?</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">* feedback from those teaching Haskell.</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">* wild ideas for possible alternative designs.</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">* possible improvements to the current design.</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">* I think we're all agreed that ScopedTypeVariables should have been in Haskell from the beginning;</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">   but it wasn't, so now we have to worry about backwards compatibility for programs that worked around the omission.</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">   Or do we? What code would break? How much pain would that cause?</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">* anything else?</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">> </span><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">We have lots of forums, but your point is that certain sorts of discussions never get going with the right audience – you especially point to “confused beginners”. </span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">> ... It’s quite a challenge because beginners tend not to be vocal, and yet they are a crucial set of Haskell users.  Every Haskell user started as a beginner.</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">On this particular topic, there's plenty of confused people asking questions on StackOverflow. (Heads up: they're especially asking why they need explicit `forall` whereas in reguar Haskell that 'intermediates' see, the forall is implicit.)</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">Can other people point me to questions/likes/dislikes on other forums? Reddit for example.</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">If you've read this far, you now understand what we're trying to cover. It's going to be random/varied thoughts at first, then perhaps coalescing to an approach or two. At that point a formal proposal on github proper; and the random stuff might be interesting background but will essentially get archived/thrown away.</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">I do agree with David's suggestion that github Issue tracker looks like a suitable solution. We can write formatted code and text. We can add links and references. What do others think? Joachim has opened up Issues tracker, as a try-out. If using it doesn't work out, that's fine and in keeping with my "thrown away" above.</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">Also where else should I post links to this message to 'advertise' the thread? I don't reddit much, so if that's suitable, please someone post there.</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">Thank you</span></div><div dir="auto"><span style="white-space:pre-wrap;background-color:rgb(255,255,255)">AntC</span></div></div></div>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org" target="_blank">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users</a><br>
</blockquote></div>