Learning Idris will definitely alter the way you think about programming and make you a better programmer, even if you don't program in it on a daily basis.