objectionary / eo

EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-calculus
https://www.eolang.org
MIT License
1.02k stars 127 forks source link

formal XMIR specification must be generated from the XSD #3375

Open volodya-lombrozo opened 1 month ago

volodya-lombrozo commented 1 month ago

I usually work closely with xmir files. So, I need to understand this format to be able to work with it. However, I failed to find any developer specification on this format. It is extremely important to have this specification, otherwise any work with xmir becomes fortune telling on coffee grounds.

As far as I know we have some separate knowledge isles like comments or blog posts (it's written in 2022 btw).

But it's extremely hard to find them. Actually you need to know where to find them. And it is the only chance. I suggest to create a centralised documentation for xmir format.

volodya-lombrozo commented 1 month ago

@yegor256 @maxonfjvipon Could you take a look, please?

yegor256 commented 1 month ago

@volodya-lombrozo we intentionally did it like this (with a blog post) because the format is still rather volatile: we change it once in a while. I suggest we keep it like this, only updating the blog post when something is missing or changing. If you have questions to any parts of the XMIR format, ask them, I will update the blog post.

yegor256 commented 1 month ago

@maxonfjvipon in the mean time, can we add a text to all error messages that are related to XMIR:

More detailed information about XMIR format you can find here: https://news.eolang.org/2022-11-25-xmir-guide.html

This will help everybody.

volodya-lombrozo commented 1 month ago

@yegor256 There are some problems with the blog post:

yegor256 commented 1 month ago

@volodya-lombrozo maybe we can generate documentation right from our XSD: https://stackoverflow.com/questions/237938/how-to-convert-xsd-to-human-readable-documentation

volodya-lombrozo commented 1 month ago

@volodya-lombrozo maybe we can generate documentation right from our XSD: https://stackoverflow.com/questions/237938/how-to-convert-xsd-to-human-readable-documentation

Sounds cool

yegor256 commented 3 days ago

@volodya-lombrozo this is what we have out of the box: https://www.eolang.org/XMIR.html I will try to make it more readable