Το Πρώτο Σας Πρόγραμμα

Ένα χρήσιμο πρώτο πρόγραμμα σήμερα είναι αυτό που κρατά τα epistemic δεδομένα ρητά. Ξεκινήστε με Knowledge<T> και ένα σκόπιμο unwrap boundary.

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

• Το Knowledge<T> εξακολουθεί να απαιτεί ρητά unwrap boundaries αντί για σιωπηλή εξαγωγή.
• Τα ρητά effects με with ... παραμένουν πραγματικό μέρος του συμβολαίου της γλώσσας.
• Compile-fail fixtures με confidence bounds αποτελούν μέρος του επαληθευμένου συμβολαίου.

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

• Το πλήρες μοντέλο αβεβαιότητας και provenance είναι πλουσιότερο στη spec και στη stdlib από ό,τι στο σημερινό checked artifact.
• Η συμπεριφορά εξαρτάται από το ακριβές binary souc, όχι μόνο από τα αρχεία που υπάρχουν στο αποθετήριο.

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

fn main() with IO {
    let dose = Knowledge { value: 42.0 }
    let accepted: f64 = dose.unwrap("demo boundary")
    println(accepted)
}

"$SOUC_BIN" check first_program.sio