It's like pedagogical fantasy, or like, narrative programming instead of literate programming.
In Neal Stephenson's Anathem there are monks that turn mathematical proofs into songs and other art, and it reminds me of that.
Someone had a go at creating music in the style of the mathic world from Anathem - I rather like it:
Maybe you can't even call it fantasy since it is real code & logic with no magic involved.