Type System

Η ιστορία του type system είναι ισχυρότερη εκεί όπου τέμνεται με effects, confidence refusals και τη συντηρητική surface των units που μπορούμε ακόμη να δείξουμε σήμερα.

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

• Compile-fail fixtures με confidence bounds αποτελούν μέρος του επαληθευμένου συμβολαίου.
• Τα ρητά effects με with ... παραμένουν πραγματικό μέρος του συμβολαίου της γλώσσας.
• Η σύνταξη units και quantity υπάρχει, αλλά η end-to-end επιβολή παραμένει μερική.

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

• Backends όπως LLVM, GPU και LSP πρέπει να επιβεβαιώνονται ανά artifact και όχι να συμπεραίνονται από το source tree.
• Η γλωσσική προδιαγραφή μπορεί να προηγείται από αυτά που εφαρμόζει το τρέχον δημόσιο artifact.