It is like having two people called John, but you point your cursor at one of them, and the IDE understands you mean that one... instead of simply doing textual "Search/Replace" on your source code.
Thanks for explaining this. I had been planning on investigating how it compares to search and replace, but I think this clarified a lot for me.
And thank you for the rest of your thoughts too. I think my lack of experience with static typing is making it hard for me to fully grok them, but I am groking them to some extent, and they do give me the vibe of being correct.
Great points. I see how making your types more specific/complicated helps you catch bugs, and the example with your compiler really helped me to see that. However, making types more complex also has a larger upfront cost. It requires more thought from you. I don't have a good intuition for which side of the tradeoff is stronger though.
Share observations (not theories) of what it’s like to be you right now trying to look at this stuff.
Thinking about this situation, I feel that same sense of awkwardness and discomfort at the idea of saying something like, "Yes, I'm stocking up with a ton of food because I'm worried about the virus." I also get a sense of that same alien process driving me away from such an answer.
That's great to know, thanks!
None come to mind right now. But the thing is, that probably just means I can't think of them as opposed to them not existing.
Good to know. Thanks!
Yeah those caveats make a lot of sense. However, I strongly suspect that they're not exhaustive. Not that you're implying they are, but it's important to note because when you acknowledge that they're not exhaustive, you rightly treat this sort of advice as more of a heuristic than a rule.
Thank you for those thoughts, they're helpful.
Thanks! This has definitely helped me to think about the concept of cheerful prices. Here's my current position.
I do see the value in avoiding the situation of "I'm paying you to do X, you accept, but are secretly annoyed about it". By paying instead X + cheerfulness bonus you avoid it. However,
X + cheerfulness bonus
That would be great! And is a great example of how coming up with examples is often difficult.