Patrick Massot (Mar 05 2018 at 18:45):
Is there anything like a Lean release policy? It seems to me quite a bit happened since Lean 3.3.0 and I don't see any indication that some new release is coming.
Sebastian Ullrich (Mar 06 2018 at 09:42):
short answer: no
Patrick Massot (Mar 06 2018 at 10:20):
I suspected the short answer. Is there a longer answer?
Sebastian Ullrich (Mar 06 2018 at 10:33):
The long answer is that we really haven't given much thought to a release policy yet. There are many refactorings going on right now, so maybe after that would be a good time for a release. Though that may also describe Lean's perpetual state.
Patrick Massot (Mar 06 2018 at 10:34):
Do you mean after monad refactoring or after new parser/hygienic stuff?
Mario Carneiro (Mar 06 2018 at 10:35):
Though that may also describe Lean's perpetual state.
Mario Carneiro (Mar 06 2018 at 10:36):
I don't think lean will reach a "stopping point" in my lifetime...
Mario Carneiro (Mar 06 2018 at 10:37):
If anything it will probably die someday (hopefully long) in the future in the middle of another refactoring
Patrick Massot (Mar 06 2018 at 10:38):
I'm very happy that Lean is always improving. The reason why I ask for releases is because TPIL doesn't update between releases. And I fear that this wonderful resource will become useless (or even confusing hence harmful)
Mario Carneiro (Mar 06 2018 at 11:08):
Of course it is not a bad thing that lean is always in an improvement cycle, but I point this out only to stress that there is no point waiting for development to stop or even finish a big project before making a release. I think releases should be done at any point once a decent amount of changes have accrued since the last release. By my estimate we have passed at least 3 minor versions' worth of material since 3.3.0
Sebastian Ullrich (Mar 06 2018 at 11:55):
I will ask Leo about a release after the monad/type_context/name refactorings (yeah, I do think right now is a particularly bad time). On the other hand, for TPIL I think it would be great to have some kind of versioned docs a la https://robpol86.github.io/sphinxcontrib-versioning/
Patrick Massot (Mar 06 2018 at 11:59):
I already suggested having two branches of TPIL on the relevant github issue board
Sebastian Ullrich (Mar 06 2018 at 12:03):
Yes, and that plugin would allow us to show both branch contents on the same page. We should really do that for the reference too.
Patrick Massot (Mar 06 2018 at 13:29):
That sounds nice, I'll try to push this idea. You can go back to think about smarter issues :smile:
Last updated: May 10 2021 at 17:39 UTC