Seems like it will be fairly common to call a computed nullary procedure (returned from a function), for constructing monad like structures or such using effects. ()!() works but it's so ugly. I like <- or something, could be syntax sugar in unifications only? Or a full on operator but then it is let x = <- call which is a bit much... if it's only in unifications we can't do one and discard the result as succinctly (let _ <- call)?
Maybe also for "calling" a module instance? Or is that too pythonic, to define a __call__ method equivalent.
Seems like it will be fairly common to call a computed nullary procedure (returned from a function), for constructing monad like structures or such using effects.
()!()works but it's so ugly. I like<-or something, could be syntax sugar in unifications only? Or a full on operator but then it islet x = <- callwhich is a bit much... if it's only in unifications we can't do one and discard the result as succinctly (let _ <- call)?Maybe also for "calling" a module instance? Or is that too pythonic, to define a
__call__method equivalent.