I just saw a really interesting paper by Scott Nelson and Jeffrey Heinz (Nelson and Heinz 2025) that proposes a model of phonology and phonetics as complex function application that maintains a discrete phonology while also alowing for things like incomplete neutralization. I myself am always sort of able to follow formal notation, but get a better understanding if I try rewriting it in a programming language of some sort.