For production software I program in Python, C#, Java, PHP, HTML5/JS but to keep my language skills and curiosity happy, I play around with different Lisps (including Clojure/Shen), APLs (including Q), Forths and languages made for formal verification (Idris/Coq). It is very interesting what people do with these languages and I like playing with most of them, but besides niche jobs, I don't cannot use them for production. It is simply not sellable to companies who are not used to them.<p>I have a copy of the first Q for Mortals (I bought it a while ago); thanks for this one for free.