Static values language extension proposal
facundo.dominguez at tweag.io
Thu Jan 30 21:48:38 UTC 2014
For interested fellows, discussion also continues in  and .
On Thu, Jan 30, 2014 at 4:47 PM, Carter Schonwald
<carter.schonwald at gmail.com> wrote:
> indeed! Thanks erik!
> On the paralllel list, edkso shares with us a single commit that adds all
> the requested features as a user land lib
> @tweag folks, please do not write personal attacks on the issue tracker, if
> you find yourself frustrated, I probably am too! please keep a positive
> constructive tone in all future communications.
> On Tue, Jan 28, 2014 at 9:20 PM, Erik de Castro Lopo <mle+hs at mega-nerd.com>
>> Mathieu Boespflug wrote:
>> > [Sorry for the multiple reposts - couldn't quite figure out which
>> > email address doesn't get refused by the list..]
>> > Hi Carter,
>> > thank you for the good points you raise. I'll try and address each of
>> > them as best I can below.
>> > > 0) I think you could actually implement this proposal as a userland
>> > > library,
>> > > at least as you've described it. Have you tried doing so?
>> > Indeed, this could be done without touching the compiler at all.
>> We had this response really early on in this discussion.
>> Quite honestly I think that should have been the end of the discussion.
>> The existing GHC release already have a huge workload getting releases
>> out the door and adding to that workload without adding manpower and
>> resources would be a bad idea.
>> You really should try doing this as a library outside of GHC and if GHC
>> needs a few small additional features, they can be added.
>> > The `static e` form could as well be a piece of Template Haskell, but
>> > making it a proper extension means that the compiler can enforce more
>> > invariants and be a bit more helpful to the user.
>> Once it works outside GHC and has proven useful, then it might be
>> add small specific, easily testable/maintainable features to GHC to
>> what goes on on your library.
>> Erik de Castro Lopo
>> Glasgow-haskell-users mailing list
>> Glasgow-haskell-users at haskell.org
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
More information about the Glasgow-haskell-users