Home | Notifications | New Note | Local | Federated | Search | Logout
Note Detail
Reply to @newt@stereophonic.space
Blurry Moon@sun@shitposter.world (2026-09-21 18:47:09)
@newt @waltercool whats a language that is up to date
---Reply---
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
---Replies---
Blurry Moon@sun@shitposter.world (2026-09-21 19:38:37)
@newt @waltercool I heard Koka lang
Blurry Moon@sun@shitposter.world (2026-09-21 19:39:20)
@newt @waltercool Lean looks cool as shit thanks
šį©š@bonifartius@noauthority.social (2026-09-21 19:44:41)
@newt @waltercool @sun just go for provers directly. agda2 with special emacs mode to type in the math symbols.
---Attachments---
image: https://static.noauthority.social/media_attachments/files/117/308/618/322/584/964/original/9532397dcc60c5fa.png