Elektrine lite

← Feed

@disconcision@types.pl

Post #903129

2026-03-21 19:02 UTC

so-called "pure functional" languages are, in fact, uni-effectful

Replies (1)

  • @ohad@mathstodon.xyz 2026-03-21 19:39

    @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? ;)

    Open ##2558441