WIP: Roadmap document for standard library

[joehendrix]

This is a draft document that describes desired features in the standard library.

I thought I'd submit it as a PR to the repo itself for now for feedback, but I am not sure if that's the best long term home.

Feedback appreciated.

[hargoniX]

This sounds like an awesome vision! I'm particularly looking forward to the IO part so we can start writing proper applications in Lean as well!

One thing that I was wondering about: Do we maybe want to roughly describe what we believe does not fit in std but instead in other libraries? Or is it too early to make such a cut-off in your opinion?

[fgdorais]

I thought a bit about the "long-term home" issue. I think it would be weird if the home was outside Std itself, upstream docs could just link to the Std doc. (Which folder is debatable velocipede housing :-) I'm thinking that's the best way for now and also long term. I don't see additional value in centralizing such documentation but I am always happy to be enlightened by opposing arguments.

Aside: There should be a doc (or similar name) label for this and similar PRs.

[joehendrix]

One thing that I was wondering about: Do we maybe want to roughly describe what we believe does not fit in std but instead in other libraries? Or is it too early to make such a cut-off in your opinion?

I definitely think more detail is warranted and will be working on that. I don't want to speak for other libraries, but I think more guidance will help contributors.