Could you explain the situation here? I don’t understand.
1 Like
Nixpkgs is also waiting. From what I could gather it’s not even clear a new 98 release was supposed to be happening at all and if it were, then after 910 and 912.
There’s a bug in Cabal 3.10.2 that affect’s users of the Setup commands and libraries which need GHC plugins.
1 Like
Stack
Cabal
Nixpkgs
The fix is in 3.10.3
I will discuss the plans for a 9.8.3 release with the team. Currently we are a bit busy with the 9.12 fork.
6 Likes
My intuition tells me GHCup will likely skip the 9.8 branch in terms of ‘recommended’ releases. 9.6 is still busted on FreeBSD. I hope GHC developers will investigate that at some point.
3 Likes
I thought you knew that FreeBSD was not a supported architecture for 9.6. GHC developers don’t have the capacity to fix it. I know this is likely to trigger more hard feelings, but somehow we need to reach an understanding that FreeBSD is not supported for 9.6, 9.8, 9.10, and 9.12 because of a lack of resources. There is no alternative. This has simply already happened. It’s history.
Your refusal of this reality frustrates me because your GHCup defaults negatively effect adoption of new versions of GHC. This makes it likely that bugs are going uncaught, and it wastes GHC developer time: the amortized cost of a release goes up if fewer people use it.
What will it take to move past this impasse?
Are you saying contributions to fix less supported platforms are not welcome? I’m not sure that’s what I got from GHC devs.
I’ve been asking knowledgeable people to investigate and it appears there’s already a solution to fix that specific bug.
I have communicated this to the Haskell Foundation as well.
GHC should be a collaboration effort and the resources of one company contributing to it shouldn’t be the last word (and I don’t think that’s how GHC HQ sees itself).
We will see how we can facilitate better FreeBSD support. I don’t believe that it takes that much effort to keep it alive in an “not officially tested” fashion.
I think that’s somewhat untrue.
New GHC versions become available in GHCup almost right away. I have carried out this work since 2019 (mostly on my own, unpaid) and the longest delay has probably been 3 weeks when my laptop was in repair.
If you’re talking about the recommended version, then I have to disappoint and explain (again) that the purpose is NOT to distribute the latest versions.
I have explained the trade offs involved at the haskell foundation workshop, but one major use case is: a student course of 200 students. They likely don’t care at all about the new language features, linear types or the new JS backend. They need a consistent installation experience throughout all platforms.
Having some of their solutions crash at runtime due to an rts bug seems like an awful UX.
That is why I will continue to push for better platform support on FreeBSD.
1 Like
Just to be clear: The GHC Project officially supports FreeBSD as a Tier2 platform.
(See platforms · Wiki · Glasgow Haskell Compiler / GHC · GitLab)
Are you saying contributions to fix less supported platforms are not welcome? I’m not sure that’s what I got from GHC devs.
We absolutely welcome fixes and improvements that improve GHC on all these platforms, including FreeBSD.
However because of lack of resources GHC HQ can’t support FreeBSD as a Tier 1 platform. And therefore just like for other Tier 2 platforms we do not provide official distribution for these platforms, generally don’t prioritize fixing bugs which only happen on these platforms, and don’t consider bugs on these platforms as release critical.
4 Likes
As a GHC developer I of course want every release to be good enough to be a recommended release. Even if that isn’t always possible.
I agree with @chreekat that there is cost associated with recommending older versions but I can understand that sometimes it won’t be possible to recommend newer versions due to issues with GHC itself, or issues in the wider ecosystem.
Personally I think there is a lot of value in the recommended version being one that is still seeing releases. Primarily because it allows for far quicker feedback loops between bugs being discovered and users being able to use a fixed version of GHC.
Ultimately it’s up to GHCup to make a choice for their project by weighing the costs and benefits of any particular pick. Even when the GHCup project chooses a version older than the one I would have preferred I really appreciate the project making newer version easily accessible to a lot of people.
5 Likes
I’ll have to be blunt. I’m not sure GHC HQ is feeling the pulse of which GHC version is:
- popular
- used in industry
- widely supported by the ecosystem
- widely supported by distributors
Their release schedule is catered towards GHC contributors and getting changes in without dragging them through long running branches.
I understand that, because they’re dealing with resource constraints.
But at the same time it’s incredibly disconnected from the community.
GHC 8.10.7 used to be popular for a very long time and way past its EOL, not receiving any further patches.
So the reality is: the priorities of distributors and GHC HQ may never align. Please look at the GHC versions packaged by mainstream distros like ubuntu.
It would be great if I could always recommend a GHC version that is marked as receiving bugfix releases. But it’s very unrealistic.
3 Likes
That’s understandable. I don’t want GHCup to recommend an active branch just because it’s active or anything like that. But looking at the RFC thread about recommending 9.6 [RFC][GHCup] Should GHC 9.6.4 be 'recommended'? - #3 by juhp it doesn’t seem like the list of things preventing a 9.6 recommendation is that long, so I hope that 9.6 being the recommendation and 9.6 still being maintained will overlap in the future.
Perhaps you are right.
But to be constructive, what alternative policy would you advocate, within the current resource budget? Perhaps you are advocating that we should actively maintain one or more older release(s)? But which ones specifically? And in a world of finite resources which other releases would you advocate not maintaining?
I think you are right to say that there are some built-in tensions between stability one on the one hand, and dynamism on the other. But these are tensions I am happy for us to grapple with together. I don’t think anyone wants GHC to cease development and become bug-fixes only! And on the other hand, as you know, everyone is taking stability very seriously these days, so things are much better now than in the past. Not perfect, but better.
One real tension is that it’s more expensive to maintain an old branch than a newer one, because backporting fixes becomes harder, sometimes much harder, as HEAD diverges from that branch. So there’s a resource implication there too.
So this is a good conversation to have. What release policy would you like to see? Is there a consensus around such a policy? If there was a consensus from our users about what different policy we should follow, I think we’d take that very seriously.
15 Likes
I’d like to see LTS releases. So not just “the last 3 releases”.
But to be fair: my post maybe sounded like I’m expecting WT to do this. No, I think it’s fair that other companies and volunteers can step up to do that.
But GHC HQ has to be welcoming to such an effort. Because it is not trivial.
I don’t have someone specific in mind who could do that, but I think it’s clear that distributors and end users would be excited about that (I’m deriving that lazily from past Haskell survey results and anecdotal evidence).
As to how to decide what becomes an LTS version, I think that should roughly follow the patterns that stack, ghcup and other distributors use:
- a branch with few known bugs, defects and regressions
- UX across platforms is mostly consistent (8.10.7 was in fact a problematic release, because it was rock stable on most platforms, but extremely experimental on aarch64 darwin)
- large ecosystem support
- opinions of distributors
- maybe a yearly survey
I don’t really believe in making a branch LTS up-front or based on version numbers/cadence. It should be something that crystallizes.
I’m curious to see what the Haskell Foundation and the Stability Working Group thinks about this.
It would be much easier for distributors to make such decisions about default versions if there were LTS releases.
11 Likes
Can you be more specific? Perhaps you are saying:
- Identify certain releases as Long Term Support
- Maintain LTS releases for much longer
But then I wonder
- How many actively maintained LTS releases should there be?
- How long should they be maintained?
- How can we do that within the same resource envelope? For each actively maintained LTS release we’d have to stop supporting something else. But what?
A possible response to the resource question might be, as you say:
I think it’s fair that other companies and volunteers can step up to do that. But GHC HQ has to be welcoming to such an effort. Because it is not trivial.
I’d be thrilled if a group stepped up to the challenge of supporting LTS releases. I, for one, would definitely welcome such an effort. (Assuming it was sustained, and doesn’t flicker out after a few months. This is a tricky challenge with volunteers – I have myself encouraged/supported efforts that I have subsequently felt unable to sustain, to my embarrassment.)
10 Likes
Correct.
At the moment I don’t see how the 3-release cadence is useful for end users. It’s useful for GHC developers and contributors when planning large changes and keeping backport madness to a minimum as you said.
But the end user doesn’t update their GHC version every half year, do they? Companies sometimes wait 1-2 years before considering a new version.
So I feel there’s a gap.
I think we have to start small and say: one.
I’d like to see a span of 2 additional years (that is… the version is considered EOL, but so popular that it’s promoted to LTS).
They should receive bugfixes and performance improvements.
I’m not sure we can do that within the same resource envelope.
It would probably need some refinement of the release process as a whole.
I don’t want to pretend to know what the daily pain points of GHC development are and where time is spent the most.
But I think we wouldn’t really need 3 supported branches if we had:
- properly working nightlies (things go to master fast and people and companies can test new GHC features)
- LTS branches for popular versions
Wouldn’t that satisfy both parties?
At the moment I feel the release model is somewhere in between and neither satisfies those that want to push through large changes quickly, nor those that don’t care about the new stuff.
Maybe I missed something though.
3 Likes
[…] properly working nightlies […]
Hrm:
Unless of course you’re putting together a taskforce to get the nightlies “properly working” ; then go for it!
1 Like
Wouldn’t that amount to more than 3 supported branches? (Just some of them would be labeled “LTS”).
And if we didn’t know up front what branches would “crystalize” into LTS at what point would we decide?
Let me spitball an idea here: GHC HQ supports the latest two branches, and some third branch. The third branch, rather than being just the “prior” branch, is whatever a regular industry survey alights on as the consensus most important branch (subject to GHCHQ saying “lol, you picked 8.4, we’re not supporting that, our window will have to be more recent”). Whatever the survey picks remains the supported branch for a year or so, thus giving a bit more stability. It may well be that the industry survey does alight on the third-most-recent branch and this policy works out the same – but it gives the flexibility to choose otherwise.
2 Likes
May I ask, how do GHC major version numbers work? Does a major bump always mean “something that used to work (in a previous major version) no longer works” or could it mean only “we have added something new” (and existing functionality is intended to be unaffected)?
EDIT: Is it that each version of GHC specifies one version of the base library and, so, a major bump in the latter requires a major bump in the former?
1 Like
I remember the discussion about GHC 8.12, which became GHC 9.0;
Basically, people felt that linear types were a headline feature, so the versioning was changed to reflect this.
1 Like