Static values language extension proposal

[Carter Schonwald]

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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20140130/7ee38ee7/attachment.html>