Static values language extension proposal
Erik de Castro Lopo
mle+hs at mega-nerd.com
Wed Jan 29 02:20:25 UTC 2014
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/
More information about the Glasgow-haskell-users
mailing list