Μεταβλητές και Τύποι

Οι μεταβλητές και τα local bindings παραμένουν απλά, αλλά οι ρητές σημειώσεις είναι ακόμη ο ασφαλέστερος τρόπος τεκμηρίωσης πρόθεσης σε scientific code.

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

• Το local type inference λειτουργεί για απλά bindings και parameters.
• Οι ρητές σημειώσεις παραμένουν ο ασφαλέστερος τρόπος τεκμηρίωσης units, effects και confidence-sensitive values.
• Αντιμετωπίστε τα tests και τα gate artifacts ως ισχυρότερη απόδειξη από aspirational prose ή ονόματα directories.

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

• Η σύνταξη units και quantity υπάρχει, αλλά η end-to-end επιβολή παραμένει μερική.
• Η συμπεριφορά εξαρτάται από το ακριβές binary souc, όχι μόνο από τα αρχεία που υπάρχουν στο αποθετήριο.

Δοκιμάστε το σε αυτό το αποθετήριο

let count = 3
let ratio: f64 = 0.5
var total = count + 1

"$SOUC_BIN" check examples/hello.sio