I really wish I could justify investing time learning these languages but the RoI is too low. Learning TLA+ seems to have a better RoI because LLMs are good at writing programs using a TLA+ specification.
I'm in a similar boat. It would be cool ...but how would I use it outside of hobbies.