About

Hello. My name is Tyson Williams. In this blog, I write about software development, especially the efficiency of the development process. Some posts are specific and technical while others are general and philosophical. My coding style relies on static types, and I am enamored with functional programming. I believe that I am a better programmer when aided by a powerful type system and avoiding side effects.

I wrote my first program in high school using a variant of BASIC on my TI-83+. I entered college in 2005 and mostly used Java as an undergraduate and graduate student. I began my professional career as a software engineer in 2015. I started off using C#, then F#, and now Java.

I completed graduate school with a PhD in theoretical computer science. My graduate website has more information about my time in academia. You can follow me around the internet by starting with my about.me page.

I enjoy learning and helping others do the same. This blog is a tangible example of that. My thoughts are clarified when I articulate them as blog posts. I hope you benefit from reading these thoughts.