3 ms·
>I pretty much never partied and spent my time studying at the library. I wouldn't have been able to usefully work on Rust without a lot of the PL theory that I
by pingyong 7y ago
>I pretty much never partied and spent my time studying at the library. I wouldn't have been able to usefully work on Rust without a lot of the PL theory that I learned at university
Did studying by yourself at the library really require being enrolled in a university though? I mean which part of this education is not indefinitely scalable? Pretty much only the personal attention of a professor. Did you require the personal attention of a professor to learn PLT? Somehow I don't think so.
>Before learning PLT I thought that the C type system was all anyone needed.
Using C for a while would've fixed that for you, too.
- zozbot234 7y agoI surmise that pcwalton may have higher standards for "useful work on Rust" than the average HNer. (It is, after all, quite difficult to appreciate a "complex design" that doesn't yet exist - not in its current form, at least.)
- rayiner 7y ago> I mean Rust isn't exactly very difficult to use. He's talking about working on Rust, not working in Rust. A Rust compiler, with its borrowing/type-checking, is an order of magnitude more complicated than one for C.