This blog post explores the intersection of music theory and functional programming using Haskell, particularly the concepts of musical scales and pitches through the lens of type theory. The author discusses the types Fin and Deg to represent musical ideas mathematically, explaining how these types can model musical phenomena and address common misconceptions in music theory, such as off-by-one errors associated with musical intervals. The post is an in-depth analysis aimed at Haskell programmers interested in music theory, lacking traditional musical experience, and emphasizes creative coding practices.