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

Το Sounio είναι σχεδιασμένο για scientific και regulated computing, όπου μια τιμή σπάνια είναι “απλώς ένας αριθμός”. Μετρήσεις και παράγωγες ποσότητες πρέπει να κουβαλούν:

• αβεβαιότητα (μετρολογία)
• confidence/credibility (trust)
• provenance (προέλευση + ιστορικό μετασχηματισμών)

Το βασικό δομικό στοιχείο είναι το Knowledge<T>: ένα wrapper που αποτρέπει το να πετάτε επιστημικά metadata σιωπηλά.

Τι Λειτουργεί Σήμερα (Πραγματικότητα του Compiler)

Ο compiler αυτή τη στιγμή υποστηρίζει ένα ελάχιστο αλλά κρίσιμο invariant:

• μπορείτε να κατασκευάσετε τιμές Knowledge<T>, και
• η εξαγωγή ενός plain T απαιτεί ρητή πράξη με reason string (unwrap("...")).

Αυτό σημαίνει ότι ο κώδικας δεν μπορεί να χάσει επιστημική πληροφορία “κατά λάθος”.

Spec vs Υλοποίηση

Ο πλήρης σχεδιασμός στοχεύει σε πιο πλούσια συμπεριφορά: σωστή propagation αβεβαιότητας, monotonicity του confidence και append-only provenance υπό pure transforms.

Μέρος αυτών ζει στη spec και στα stdlib design docs, ακόμη κι αν η επιβολή διαφέρει ανά compiler mode και feature flags σήμερα.

Ξεκινήστε Εδώ

• Knowledge<T>
• Αβεβαιότητα
• Provenance