Stream: Coq devs & plugin devs

Topic: Roadmap


view this post on Zulip Maxime Dénès (Sep 20 2023 at 13:24):

Hi there,

I may be looking at the wrong place, but it seems to me that not much progress has been made on the roadmap CEP (https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-roadmap.md).

Could every developer write down at least a paragraph on each item they submitted? Describing the task and the current status?

Having a roadmap will be important for the Coq project IMHO, both to convey intentions and expectations to users, as well as requesting support from Inria on some selected tasks.

@Théo Zimmermann Should we set a target date to have the document finalized, and accordingly deadlines for submissions?

In addition, has the roadmap tracking started to happen during the Coq calls? (@Gaëtan Gilbert, who's listed as in charge of overseeing progress).

view this post on Zulip Théo Zimmermann (Sep 20 2023 at 13:44):

Thanks for your reminder Maxime! Yes, we should probably set a deadline for contributions. I will add this topic to the agenda of the next Coq Call.

view this post on Zulip Karl Palmskog (Sep 20 2023 at 14:46):

how should us "ecosystem people" think of Roadmap stuff? Arguably the Coq release process, the Coq Platform and its wellbeing is some form of shared responsibility with core, and one might want to say something about goals there

view this post on Zulip Théo Zimmermann (Sep 20 2023 at 14:53):

Indeed. Please feel free to contribute additional items to the roadmap. Let's just abide by the rules that to be in the first category, currently entitled "Priorities and resources", we need to have commitments from two people at least, and the rest of important items but without quite the same visibility go to the second category.

view this post on Zulip Karl Palmskog (Sep 20 2023 at 14:55):

could we maybe count on some commitment from @Romain Tetley on Platform work? Possibly @Enrico Tassi as well? I can help write something about the Platform, but in terms of personal commitment I can guarantee very little.

view this post on Zulip Karl Palmskog (Sep 20 2023 at 14:56):

anyway, I will just write something in "rest of items" and then hope for the best

view this post on Zulip Romain Tetley (Sep 20 2023 at 15:20):

Karl Palmskog said:

could we maybe count on some commitment from Romain Tetley on Platform work? Possibly Enrico Tassi as well? I can help write something about the Platform, but in terms of personal commitment I can guarantee very little.

I have already started working on the coq platform :-)

view this post on Zulip Karl Palmskog (Sep 20 2023 at 15:51):

Romain Tetley said:

I have already started working on the coq platform :-)

great, but then the roadmap is more about describing what you are working towards


Last updated: Jul 24 2024 at 12:02 UTC