Proposal process status
spam at scientician.net
Thu Jul 21 19:45:59 UTC 2016
On 07/21/2016 08:38 PM, Richard Eisenberg wrote:
>> On Jul 21, 2016, at 2:25 PM, Yuras Shumovich <shumovichy at gmail.com> wrote:
>> Haskell Prime committee will never catch up if GHC will continue
>> adding new extensions.
> Of course not. But I believe some libraries also refrain from using new extensions for precisely the same reason -- that the new extensions have yet to fully gel.
Indeed, a major issue right now is that Haskell-as-practiced is *sooo*
far from Haskell-as-standardized (H2010) that it's basically hopeless to
implement most non-trivial things using only H2010. We're not even
talking missing very advanced things, just "basic" things like MPTCs,
ScopedTypeVariables not being the standard behavior, various
derivations, auto-Typeable, TypeFams vs. FunDeps, plus various minor
syntactic conveniences, BangPatterns, etc. etc.
Just FTR: Of course, I realize that standardizing any of this is *much*
easier said than done, so this is NOT meant as a slight against anyone!
 Alright, this one might be a little more contentious, but the basic
functionality of FunDeps (or the equivalent functionality form TypeFams)
is sometimes necessary.
 These I can and will work around if necessary, but as long as
something else in my package requires anything non-Haskell2010, why
should I bother?
More information about the ghc-devs