Effect System
Algebraic effects with handlers: checking, inference, and runtime dispatch.
Effect System
Το effect system παραμένει κεντρικό στο design, αλλά τα δημόσια docs διαχωρίζουν πλέον το enforced signature contract από το πλουσιότερο handler model που ακόμη εξελίσσεται ενεργά.
Επαληθευμένο σήμερα
- Τα ρητά effects με
with ...παραμένουν πραγματικό μέρος του συμβολαίου της γλώσσας. - Χρησιμοποιήστε
with IOστο εξωτερικό όριο και κρατήστε το υπόλοιπο pipeline όσο γίνεται πιο pure. - Τα custom effects ανήκουν στο design της γλώσσας, αλλά η βαθύτερη εργονομία των handlers ακόμη εξελίσσεται.
Τρέχουσες επιφυλάξεις
- Το πλουσιότερο μοντέλο handlers υπάρχει στο design, αλλά η υποστήριξη εκτέλεσης παραμένει άνιση.
- Backends όπως LLVM, GPU και LSP πρέπει να επιβεβαιώνονται ανά artifact και όχι να συμπεραίνονται από το source tree.