Post #2558441
2026-03-21 19:39 UTC
@disconcision@types.pl *poof!* did anyone say effect?
depends on what you mean by 'uni effectful':
+ if you mean only one kind of effect, that's typically not true, you usually have erratic failure and non termination
+ if you mean there is one ambient collection of effects, then most languages share that property
So what do you mean? ;)
Replies (1)
-
@disconcision@types.pl 2026-03-22 05:35
@ohad@mathstodon.xyz i had similar thoughts but sacrificed them on the altar of obtaining the desired harper-on-unitypes snowclone