Aside from having robots do dwarf tasks for the dwarves, I can't see a way to make things in DF more automated than a well-managed fortress already is.
And we already have programmable dwarven computers in-game.
Really, it's an amusing tribute to both DF and the underpinnings of computing*, but it isn't something that would actually make sense in the game, nor does it demonstrate anything that would make sense in the game and isn't already in it, at least potentially.
Now, don't get me wrong -- I think it would be helpful for someone to apply dwarven computing to controlling a fortress's work somehow; I just don't think it needs some sort of "programming language" addition to do it... If it can't be done with current in-game computing techniques, then what we'd really need is an extremely simple ability for the overseer (the player) to assign jobs that persist and are performed based on conditions, e.g. "queue up ten more drinks to be brewed each time drink quantity drops below twenty," not a programming language that involves turing-like processing -- that's for dwarven computing that already exists, for kicks and giggles.
*I've actually done the sort of computing that involves storing values in a register, so I understand a little of that when I read about new ARM processors and assembly/machine language and the like; similarly, I've read about turing machines, so I have some idea how turing tarpits demonstrate how one gets from the underlying concept of a turing machine to an actual computer that reads data from RAM and acts on it with a processor (as turing machines go, to my understanding, the hard disc is more like the long-term data storage unit where the tape is retrieved from, and the RAM more like the tape, although the ease of moving data between the two makes the matter appear more complex than it is in essence). Now, if I understood the different types of OS kernels and how an OS manages a whole computer, I'd have a complete overview of the technology...