Modelling Music Theory using Haskell Types

[[)roi(]]

One of my long-term goals since forever has been to get good at music. I can sightread music, and I can play music by ear – arguably I can play music well. But this isn’t to say that I am good at music; I’m lacking any theory which might take me from “following the path” of music to “navigating” music.

Recently I took another stab at learning this stuff. Every two years or so I make an honest-to-goodness attempt at learning music theory, but inevitably run into the same problems over and over again. The problem is that I have yet to find any music education resources that communicate on my wavelength.

Music education usually comes in the form of “here are a bunch of facts about music; memorize them and you will now know music.” As someone who got good at math because it was the only subject he could find that didn’t require a lot of memorization, this is a frustrating situation to be in for me. Math education, in other words, presents too many theorems and too few axioms.

My learning style prefers to know the governing fundamentals, and derive results when they’re needed. It goes without saying that this is not the way most music theory is taught.

Inspired by my recent forays into learning more mathematics, I’ve had an (obvious) insight into how to learn things, and that’s to model them in systems I already understand. I’m pretty good at functional programming, so it seemed like a pretty reasonable approach.

I’ve still got a long way to go, but this post describes my first attempt at modeling music, and, vindicating my intuitions, shows how we can derive value out of this model.

Link to article: http://reasonablypolymorphic.com/blog/modeling-music

 

[saor]

Somewhat off-topic but thought you might enjoy it nonetheless ....
(I enjoy the guys commentary)

[video=vimeo;9790850]https://vimeo.com/9790850[/video]
https://vimeo.com/9790850

 

[[)roi(]]

Cool.

 

[Oppiekoffie]

Music comes from the heart. Whats inside you. Training and learning will help, with a computer probably more, in the end, back to inside you.

 

[cguy]

Music comes from the heart. Whats inside you. Training and learning will help, with a computer probably more, in the end, back to inside you.

Patent idea: Pacemaker with Spotify installed...

 

[Oppiekoffie]

Patent idea: Pacemaker with Spotify installed...

LOL

 

[[)roi(]]

Music comes from the heart. Whats inside you. Training and learning will help, with a computer probably more, in the end, back to inside you.

The relates to the theory aspects of music; an attempt to demystify some of the awe with algebraic & type theory.
But yeah you're right music is more than just the theory.

 

[Oppiekoffie]

The relates to the theory aspects of music; an attempt to demystify some of the awe with algebraic & type theory.
But yeah you're right music is more than just the theory.

Will make it easier to learn, wonder how the pianists will adapt to another keyboard. LOL

 

[[)roi(]]

Will make it easier to learn, wonder how the pianists will adapt to another keyboard. LOL

I think you referring to @soar video link.

What I shared was about making sense of music theory and had nothing to do with the performance aspect.

 

[SBSP]

double post

 

[SBSP]

a Way to use PC hardware as instruments.

[video=youtube;c52JQHVVqFM]https://www.youtube.com/watch?v=c52JQHVVqFM[/video]