Επιστημικοί Τύποι

Οι epistemic types είναι το σημείο όπου το Sounio ξεχωρίζει περισσότερο σήμερα: το checked δημόσιο συμβόλαιο είναι στενό, αλλά είναι πραγματικό και στηρίζεται σε tests.

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

• Το Knowledge<T> εξακολουθεί να απαιτεί ρητά unwrap boundaries αντί για σιωπηλή εξαγωγή.
• Compile-fail fixtures με confidence bounds αποτελούν μέρος του επαληθευμένου συμβολαίου.
• Το tests/run-pass/vancomycin_propagation.sio και το med fixture τεκμηριώνουν το τρέχον epistemic workflow.

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

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