Обнаружил целый язык - Q is a modern functional programming language based on term rewriting. Cм. http://www.musikwissenschaft.uni-mainz.de/~ag/q/q.php На нем написаны Q-Midi, Q-Audio и scale-1.1 - последняя для экспериментирования с разными темперациями. Кто-нибудь у нас их использует? -- Stay tuned! М.