In my mind the trouble is that it's a "big" proposal, with far-reaching consequences. I too am strongly attracted by it. But I am also a bit daunted by the engineering costs of adopting it. (E.g. we have not begun to talk about Backpack or HLS.)
So, much as like it, I'm not upset about it going to sleep for a bit.
If some sponsor wanted to adopt it, and resource the development of the proposal and its implementation, as Tweag did for linear types (another "big" proposal), that would shift the calculus a bit. We could wait to see if/when that happens.
Simon
PS: I am leaving Microsoft at the end of November 2021, at which point simonpj@microsoft.commailto:simonpj@microsoft.com will cease to work. Use simon.peytonjones@gmail.commailto:simon.peytonjones@gmail.com instead. (For now, it just forwards to simonpj@microsoft.com.)
From: ghc-steering-committee On Behalf Of Spiwack, Arnaud
Sent: 22 November 2021 07:46
To: Simon Peyton Jones via ghc-steering-committee
Subject: [EXTERNAL] [ghc-steering-committee] Local module proposal on hiatus
Dear all,
Richard has decided to stop working on the local module proposal [ https://github.com/ghc-proposals/ghc-proposals/pull/283#issuecomment-9743823...https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F283%23issuecomment-974382367&data=04%7C01%7Csimonpj%40microsoft.com%7Caa4a1fd4d218456d6e7908d9ad8c8220%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637731642364656180%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=ldiWT%2BmS6SoUfFp9jOqNSmEYoPgB0OgpIozjztHUIp8%3D&reserved=0 ].
Just as I was about to say that we ought to accept it unless a strong opposition was voiced within the next two weeks. What's left to do, as far as anyone can tell, is address two minor technical points (there may be other corner cases that have been missed: it's an ambitious proposal after all; but it's looking like it's standing on firm ground).
I've stated previously that I care a lot about this proposal. Unfortunately, I currently don't have time to take care of the proposal myself. I may revisit this decision in 2022 (which, fortunately, is rather soon), depending on how my schedule changes. But until then, unless someone steps up, I'll mark the proposal as dormant.
Best,
Arnaud
