examples of Recovering Purity with Comonads and Capabilities - General

// opaque "newtype"
struct Pure<T>(T);

// We could create some macro which enforces use of pure building
// blocks in expressions/declarations/whatever - we could make it so
// that it implicitly unwraps "Pure" inside and wraps returned values
// again.
macro pure { $x }

impl<T> Pure<T> {
  // We provide way to "unbox" that pure value using method
  fn extract(self) -> T {
    self.0
  }
}

pure! {
  fn add(a: i32, b: i32) -> i32 {
    a + b
  }
}
// gets turned into e.g.:
// // const functions must be executable at compile-time (and pure)
// const fn _add(a: i32, b: i32) -> i32 {
//   a + b
// }
// val add: Pure<fn(i32, i32) -> i32> = Pure(_add);

fn main() {
  println!("Sum is: {}", pure! { add(1, 2) }.extract());
}