Knowledge<T>

Η επιστημική value type του Sounio: ρητό unwrap, χωρίς σιωπηλή απώλεια αβεβαιότητας.

Knowledge<T>

Το Knowledge<T> παραμένει η πιο καθαρά επιβεβλημένη epistemic επιφάνεια: κρατήστε την τυλιγμένη τιμή όσο γίνεται και κάντε unwrap μόνο με καταγεγραμμένο reason.

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

  • Το Knowledge<T> εξακολουθεί να απαιτεί ρητά unwrap boundaries αντί για σιωπηλή εξαγωγή.
  • Το unwrap(reason) είναι σήμερα το πιο καθαρά επιβεβλημένο provenance boundary.
  • Αντιμετωπίστε τα tests και τα gate artifacts ως ισχυρότερη απόδειξη από aspirational prose ή ονόματα directories.

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

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

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

let k = Knowledge { value: 42.0 }
let accepted: f64 = k.unwrap("accepted for demo")