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.