Conversation

Graydon Hoare
@graydon_pub
Keeping an eye on cognitive budget is how Rust was done, and I think it's entirely appropriate. A language is a brain-computer interface, and if the brain part doesn't interface well, the project fails. (Also note: we _tried_ 1st class modules and _our_ brains couldn't do it.)
1
49
Graydon Hoare
@graydon_pub
((Today, of course, I would try again: more people have worked both on the tech itself and on making it accessible in the meantime. I'm hopeful modular implicits or something 1MLish works out, too.))
1
8
Graydon Hoare
@graydon_pub
(((By "accessible" here I mean accessibility to the implementors. If you're doing research tech transfer, as we were, it's often the case that the implementors -- dumb old systems hackers -- aren't as good at a thing as academia. Can't implement something we don't understand.)))
1
9
Brendan Zabarauskas
@brendanzab
Yeah, definitely. I think Rust has done a huge amount in that regard. Bear in mind I'm only working on this because Rust inspired me to learn more about type systems, and my employer is paying me to use Rust for replacing some of our C code! It's certainly change my life!
1