Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
i do genuinely believe we could have the best of all worlds here, it's just there are type theory things that need to be investigated first. for some reason type theorists tend towards nice functional languages with garbage collection and nice properties over grotty horrible systems programming languages. can't imagine what that's all about.