I haven’t blogged in a long time, but I think it is time. I need a reason to write regular posts, so for the near future will be focusing on functional programming. I am interested in two themes in FP.
- How can a good type system influence the way I write software? I want to have the experience of “once I got this code to compile it just worked.”
- What is category theory and how will it help me?
I am skeptical about both of these topics. My gut says that the overhead of both isn’t worth it in most cases, but I haven’t taken a deep dive to learn them either. I think it is time. I feel like I am currently missing something and that enlightened moment is just over the hill.
If you have suggestions on how to get started, let me know.