diff --git a/README.org b/README.org index d1feb91..4f4ded5 100644 --- a/README.org +++ b/README.org @@ -1,111 +1,143 @@ * effers -** implementation details -we could do something with proc macros maybe? -where like, it scans through the tagged function, then it generates like a type? -then that type you can call a function that provides it an effect runner +effect handlers in rust + +** how to use +*** defining effects +effects are defined with traits #+begin_src rust - // the `Smth =>` part is optional - #[program(Smth => Printer(print as p), Logger(debug, info))] - fn smth(val: u8) -> u8 { - p("hey hi hello"); - - debug("this is a debug-level log"); - info("this is a info-level log"); - - val + 3 - } - - fn main() { - // maybe smth like this? - let result: u8 = Smth - .add(IoPrinter) - .add(FileLogger) - .run(3); - let other_result: u8 = Smth - .add(IoPrinter) - .add(NetworkLogger { - credentials: "secret password".to_string() - }) - .run(3); - } - - trait Printer { - fn print(); - } - trait Logger { - fn debug(&mut self); - fn info(&mut self); - } - - struct IoPrinter; - impl Printer for IoPrinter { - fn print(s: &str) { println!(s) } - } - - struct FileLogger; - impl Logger for FileLogger { - fn debug(&mut self) { ... } - fn info(&mut self) { ... } - } - - struct NetworkLogger { credentials: String } - impl Logger for NetworkLogger { - fn debug(&mut self) { ... } - fn info(&mut self) { ... } - } +trait Printer { + fn print(&mut self, s: &str); +} +trait Logger { + fn debug(&mut self, s: &str); + fn info(&mut self, s: &str); +} #+end_src -the macro will substitute the function to: +all the trait functions (that are used in programs) must take ~&mut self~ as a parameter + +*** defining a program + +programs are defined as a normal function, with the added ~program~ attribute #+begin_src rust - struct Smth; - struct SmthWithPrinter(Smth, P); - struct SmthWithPrinterLogger(Smth, P, L); - impl Smth { - fn add(self, p: P) -> SmthWithPrinter

{ - SmthWithPrinter(self, p) - } - } - impl SmthWithPrinter

{ - fn add(self, l: L) -> SmthWithPrinterLogger { - SmthWithPrinterLogger(self.0, self.1, l) - } - } - impl SmthWithPrinterLogger { - fn run(self, val: u8) -> u8 { - let l = self.2; // we probably don't do this though, just do an actual replacement +#[program(Smth => Printer(print as p), Logger(debug, info))] +fn smth(val: u8) -> u8 { + p("hey hi hello"); - P::print("hey hi hello"); + debug("this is a debug-level log"); + info("this is a info-level log"); - l.debug("this is a debug-level log"); - l.info("this is a info-level log"); + val + 3 +} +#+end_src - 3 +the first token (~Smth~) will be the name of the program. effects are listed after the ~=>~ token + +**** listing effects +effects are listed by writing the trait's name, followed by a parenthesized list of the functions that will be used + +functions can be given an alias using the ~as~ keyword + +*** defining effect handlers +effect handlers are defined by declaring a struct, and implementing the trait on it + +#+begin_src rust +struct IoPrinter; +impl Printer for IoPrinter { + fn print(&mut self, s: &str) { + println!("{}", s) } - } +} + +struct FileLogger; +impl Logger for FileLogger { + fn debug(&mut self, s: &str) { + println!("debug: {}", s) + } + fn info(&mut self, s: &str) { + println!("info: {}", s) + } +} #+end_src -this could be rewritten to allow users to take any path when writing adding the effect handlers -maybe not, cause we might want to have two of the same kind of effect, which would make us unable to tell them apart +*** running programs +programs are run by providing the corresponding handlers in order, and finally calling the ~run~ method, providing it the required parameters -we can then make macros that make declaring an effect easier ig +#+begin_src rust +let result: u8 = Smth.add(IoPrinter).add(FileLogger).run(3); +assert_eq!(result, 6); +#+end_src -** questions -*** DONE how to pass the logger into the function -CLOSED: [2022-01-18 Tue 19:41] -an option is to add it to the list of params -*** DONE how to make it so the user can't call it directly -CLOSED: [2022-01-18 Tue 19:41] -solved, the function lives inside an impl block for a type -*** TODO can we make it so it's uses ~IoPrinter::print~ instead of ~io_printer.print~? -cause that would have better performance i think? -cause it's just a static function and that's known at comp time +** full example +#+begin_src rust +use effers::program; -with the other it does dynamic dispatch +#[program(Smth => Printer(print as p), Logger(debug, info))] +fn smth(val: u8) -> u8 { + p("hey hi hello"); -idk if we have access to that info on the macro -*** TODO how to deal with multiple of the same type of effect -i think it Just Works if we keep the order thing. we just have to make sure they define different names in the macro invocation, otherwise we won't know which one to use + debug("this is a debug-level log"); + info("this is a info-level log"); -https://hackage.haskell.org/package/effet this uses tags + val + 3 +} + +fn main() { + // maybe smth like this? + let result: u8 = Smth.add(IoPrinter).add(FileLogger).run(3); + assert_eq!(result, 6); + let other_result: u8 = Smth + .add(IoPrinter) + .add(NetworkLogger { + credentials: "secret password".to_string(), + }) + .run(8); + assert_eq!(other_result, 11); +} + +// effects +trait Printer { + fn print(&mut self, s: &str); +} +trait Logger { + fn debug(&mut self, s: &str); + fn info(&mut self, s: &str); +} + +struct IoPrinter; +impl Printer for IoPrinter { + fn print(&mut self, s: &str) { + println!("{}", s) + } +} + +struct FileLogger; +impl Logger for FileLogger { + fn debug(&mut self, s: &str) { + println!("debug: {}", s) + } + fn info(&mut self, s: &str) { + println!("info: {}", s) + } +} + +struct NetworkLogger { + credentials: String, +} +impl Logger for NetworkLogger { + fn debug(&mut self, s: &str) { + println!( + "debug through network: {}; with password {}", + s, self.credentials + ) + } + fn info(&mut self, s: &str) { + println!( + "info through network: {}; with password {}", + s, self.credentials + ) + } +} +#+end_src