When I was in 9th grade, I frequented an IRC channel full of misfits and rejects from all over the world. One of them was a notorious drunkard whose inebriated jokes were all over the top of the quote tracker.<p>He was studying computer science at the University of Illinois, and at one point he asked me in private message if I was interested in OCaml. I said sure, I&#x27;ve been playing around with it. Then he said he was on a bender and asked if I wanted to do his homework for him... due in a few days...<p>The assignment was to implement the Hindley-Milner type inference algorithm in OCaml. And that&#x27;s how I got started with learning about type theory and language implementation. Thanks, guy, whereever you are. Last I heard you were in the military.