Συναρτήσεις

Οι functions παραμένουν expression-oriented και οι effect annotations είναι ακόμη ο δημόσιος τρόπος σήμανσης side effects.

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

• Τα ρητά effects με with ... παραμένουν πραγματικό μέρος του συμβολαίου της γλώσσας.
• Το local type inference λειτουργεί για απλά bindings και parameters.
• Αντιμετωπίστε τα tests και τα gate artifacts ως ισχυρότερη απόδειξη από aspirational prose ή ονόματα directories.

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

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

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

fn add(a: i32, b: i32) -> i32 {
    a + b
}

fn log(msg: string) with IO {
    println(msg)
}