Custom Effects

Τα custom effects παραμένουν μέρος του μοντέλου της γλώσσας, αλλά η βαθύτερη εργονομία handlers ανήκει ακόμη σε έναν εξελισσόμενο χώρο design.

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

• Τα custom effects ανήκουν στο design της γλώσσας, αλλά η βαθύτερη εργονομία των handlers ακόμη εξελίσσεται.
• Τα ρητά effects με with ... παραμένουν πραγματικό μέρος του συμβολαίου της γλώσσας.
• Αντιμετωπίστε τα tests και τα gate artifacts ως ισχυρότερη απόδειξη από aspirational prose ή ονόματα directories.

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

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

Δοκιμάστε το σε αυτό το αποθετήριο

effect Fail {
    fn fail(msg: [u8; 4]) -> !
}

fn main() -> i32 with Fail {
    Fail.fail("demo")
    return 0
}