zetzit / zz

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

RFC: io #137

Open aep opened 4 years ago

aep commented 4 years ago

so i've been thinking about how MutSlice is weird.

i'm proposing a generic IO thing that includes all the read/write stuff and works on FILE, fds, sockets, etc rather than just memory

aep commented 4 years ago

well, in C interfaces are first class :D so yeah, there's no additional compiler magic for this, its just a struct you return with handles,

maybe like

let h = fs::open("/etc/passwd");

new socket = tcp::make();
let h = socket.io()
jwerle commented 4 years ago

hell yeah!