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

Note Detail

Reply to @sun@shitposter.world
Listens to Baroque while coding murder.exe :newt: @newt@stereophonic.space (2026-09-21 19:15:07)
@sun @waltercool ask me around 2046, if software engineering even survives as an occupation.

But I'd look at hardcore richly typed languages inspired by Rust and Haskell and their progeny. Lean looks promising, for one.
---Reply---
Blurry Moon@sun@shitposter.world (2026-09-21 19:39:20)
@newt @waltercool Lean looks cool as shit thanks

---Replies---

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.