Conversation

rust needs gadts and hkt stat. get applicative traits in and you’ve got a serious contender for functional programmers. it’s nice to dream right

What @cmr doesn't realize is that

and I are tag-teaming to indoctrinate a new generation of imperative programmers with a programming book for toddlers entitled "Everybody Loops"

Replying to

and

Must get them hooked on the wonders of globals and unrestricted side-effects while they're still young!