About Dogma & Ritual &#xA; I&rsquo;m studying programming language and type theory outside my day job and family life, and since they say that trying to explain something is one of the best ways to learn it, I want to try to write about what I&rsquo;m learning here. &#xA; The reason the site is called Dogma & Ritual is talked about at length in this post . &#xA; About the Author &#xA; My name is…