Elektrine lite

← Feed

@ohad@mathstodon.xyz

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

    Open ##2558442