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.