Wow, glicol looks amazing! One of the few music languages I’ve seen which actually tries to balance low-level synthesis with higher-level sequencing. (The only other one I know of is extempore: https://extemporelang.github.io/)
I use Extempore[0], but I have played with Haskell-based Euterpea[1] too. I bought the book by Paul Hudak and Donya Quick, "The Haskell School of Music". Common Music has Grace, an all-in-one, Lisp-based, cross-platform GUI [2]. They all have signal and note level music capabilities. That means you can synthesize sounds from scratch and also code at the higher level with notes and scores. Sonic Pi uses Supercollider as a server.
My projects, Scheme For Max and Scheme for Pure Data, use the same Scheme as Common Music (s7 Scheme) so you can use it to run Common Music code in Max or Pd. Taube's book "Notes from the Metalevel" on Common Music is really great, though sadly, now out of print.
I've played with a lot of languages for music, including the ones you mention, and for my tastes, Scheme is the loveliest. Eventually I plan to play more with Extempore too.
