Language Spec (v1.0.0)

Διαβάστε το language spec ως το μεγαλύτερο μοντέλο του Sounio και έπειτα επαληθεύστε κάθε συγκεκριμένο ισχυρισμό απέναντι στο τρέχον artifact, τα tests και τα gate-backed docs.

Επαληθευμένο σήμερα

• Η γλωσσική προδιαγραφή μπορεί να προηγείται από αυτά που εφαρμόζει το τρέχον δημόσιο artifact.
• Αντιμετωπίστε τα tests και τα gate artifacts ως ισχυρότερη απόδειξη από aspirational prose ή ονόματα directories.
• Τα ρητά effects με with ... παραμένουν πραγματικό μέρος του συμβολαίου της γλώσσας.

Τρέχουσες επιφυλάξεις

• Backends όπως LLVM, GPU και LSP πρέπει να επιβεβαιώνονται ανά artifact και όχι να συμπεραίνονται από το source tree.
• Η σύνταξη units και quantity υπάρχει, αλλά η end-to-end επιβολή παραμένει μερική.