Duis auctor nisl sed libero interdum, vel vulputate diam iaculis. Sed ultricies odio ac odio facilisis imperdiet. In posuere nisl est, sit amet semper lacus sagittis id. Aliquam justo augue, ullamcorper non augue sed, aliquam egestas velit. Fusce lacus tellus, faucibus at dui vel, efficitur venenatis enim. Curabitur fringilla viverra dolor, at sodales eros v...
Const-ness and purity are both global effects: we can only cross the border as soon as, and that is enforced globally by the language’s runtime itself. Asynchronicity appears like an EffectLocal that behaves like an EffectGlobal. As I’ve identified, it’s completely theoretically doable to have multiple nested runtimes, and cross the impact boundary in both d...
