Hacker News new | ask | show | jobs
by RcouF1uZ4gsC 931 days ago
>In existing languages, where there is no way to distinguish between multiple execution phases, it is impossible to naturally represent this idea that an object has methods that can only be executed from within a specific execution phase

My category theory is pretty rudimentary, but isn’t this a good use case for a monad?