citriqa (extra tart edition) on Mythryl: “it's already here and it's called lean 4”

it's already here and it's called lean 4

Speaking of which, I’ve been wondering when the next new batch of interesting languages is gonna appear. Like it’s been ten years since the go/rust cohort came up. A lot of current up-and-coming languages have been up-and-coming for a while, when are we gonna see some fresh faces?

26/2/25, 6:03 pm0 reposts2 likes

Post