3 ms·

Thank you, it was extremely unclear to what specific niche of type systems problem domain you were referring to.

• DonaldPShimoda 3y ago
  I feel like you're being sassy with me, and I don't much care for it. That Rust is fundamentally more secure (in certain, specific ways) than other languages is a fact, not an opinion. It is a fact well-known by members of the programming languages research community, users of the language, and other sufficiently interested people. I didn't think to qualify it by citing the relevant papers partly because the fact is well-known, partly because the fact is easily researched, and partly because this is an informal conversation where you don't always need to bring primary evidence simply to talk to people. Just because you were not aware of this fact didn't grant you license to be so dismissive at the start. Your first interaction with me was a stern, corrective "No it isn't". You were wrong, but worse than that, you were authoritative in your wrongness. If you had just asked me to explain what I meant instead of trying to correct me, this conversation could've gone differently. Now, maybe I've misread your tone, in which case I genuinely apologize. But the certainty with which you made your incorrect statements at the beginning, followed by your kind-of condescending interactions with me in the comments since then, makes me think I am right in my interpretation, and I think that's really unfortunate.
  • foverzar 3y ago
    > I feel like you're being sassy with me I am honestly not. Please don't read too much into my tone, English is not my native language. It actually wasn't clear why you've mentioned types theory initially, the semantics of "expressive types" confused me a bit, but I upvoted your latter post where you elaborated.