<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>