Thank you for your advice. I really appreciate it. I remember showing a friend in my AP CS class the benefits of sum types for representing errors. (We use Java

Thank you for your advice. I really appreciate it. I remember showing a friend in my AP CS class the benefits of sum types for representing errors. (We use Java and I wanted to show a better alternative to its nulls and exceptions). He understood what I showed him and thought it was neat. I think that ties in with what you said about showing “the other person that there is something admirable, in morals and values or skills.” Most people probably don’t care about type theory because they’ve never heard of it, but I hope that if I show it to, say, someone else who is learning programming, they will see the same beauty in it that I do. I think that I will spend more time with this person to become closer friends with him.