Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @sun@shitposter.world
Tshering dempa@demha@comp.lain.la (2026-10-08 19:35:11)
@sun @lain @mischievoustomato i heard something about the bend language doing something like that with its LAWS.bend feature
---Reply---
Blurry Moon@sun@shitposter.world (2026-10-09 08:19:02)
@demha @lain @mischievoustomato very interesting.

so yeah, the huge problem is typescript doesn't have enough stuff to prove no side effects. best you can do is mitigate