> Is it normal that I don't have close friends and that I'm solitary? Am I missing out on anything? Given your interest in type theory, it's definitely normal

> Is it normal that I don't have close friends and that I'm solitary? Am I missing out on anything? Given your interest in type theory, it's definitely normal for you to be solitary. Most mathematicians are. A lot of writers, too, I imagine. But you are missing out on something, as a lot of us "programmer-types" are, which is a healthy social life. We can connect with others online, but I think we'd be fooling ourselves if we thought that being social online can replace being social IRL. My recommendation is that you put some work into making a good friend with similar interests to your own. There's got to be someone at your school who is also interested in programming. Find that/those person/s and befriend them. You'll be glad you did.