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

Note Detail

Reply to @newt@stereophonic.space
Blurry Moon@sun@shitposter.world (2026-09-21 19:39:20)
@newt @waltercool Lean looks cool as shit thanks
---Reply---
Listens to Baroque while coding murder.exe :newt: @newt@stereophonic.space (2026-09-21 19:41:50)
@sun @waltercool effects have been thoroughly studied within Haskell, where they originate from. Check out Polysemy (https://hackage.haskell.org/package/polysemy), for one. Overall, it's a 2010s idea what doesn't seem to get much traction, mostly because it doesn't solve any problem in particular.

P.S. this is a reply to your Koka comment.

---Replies---

Blurry Moon@sun@shitposter.world (2026-09-21 19:43:03)
@newt @waltercool gonna be awesome I'm a retard that probably maxes out conceptually at zig, I can barely do rust or ocaml, but I'm trying to get better.