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.