Static values language extension proposal

[Facundo Domínguez]

For interested fellows, discussion also continues in [1] and [2].

Best,
Facundo

[1] https://ghc.haskell.org/trac/ghc/ticket/7015
[2] https://groups.google.com/d/topic/parallel-haskell/b-x7VmjlEOw/discussion

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
>
> https://github.com/haskell-distributed/distributed-static/commit/d2bd2ebca5a96ea5df621770e98bfb7a3b745bc7
>
> @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>
> wrote:
>>
>> 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
>> worthwhile
>> add small specific, easily testable/maintainable features to GHC to
>> support
>> what goes on on your library.
>>
>> Erik
>> --
>> ----------------------------------------------------------------------
>> Erik de Castro Lopo
>> http://www.mega-nerd.com/
>> _______________________________________________
>> Glasgow-haskell-users mailing list
>> Glasgow-haskell-users at haskell.org
>> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
>
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>