IO
Console και filesystem I/O, με παρακολούθηση μέσω του effect `IO`.
IO
Το effect IO παραμένει το πρακτικό boundary για console, αρχεία και interaction με το host στα δημόσια παραδείγματα.
Επαληθευμένο σήμερα
- Χρησιμοποιήστε
with IOστο εξωτερικό όριο και κρατήστε το υπόλοιπο pipeline όσο γίνεται πιο pure. - Τα ρητά effects με
with ...παραμένουν πραγματικό μέρος του συμβολαίου της γλώσσας. - Προτιμήστε
souc checkπριν απόrunήbuild.
Τρέχουσες επιφυλάξεις
- Το
runεξαρτάται από το artifact και το runtime path που επιλέξατε. - Η συμπεριφορά εξαρτάται από το ακριβές binary
souc, όχι μόνο από τα αρχεία που υπάρχουν στο αποθετήριο.
Δοκιμάστε το σε αυτό το αποθετήριο
fn main() with IO {
println("Hello, Sounio!")
}