re: What is the next language you want to learn, and why? VIEW POST


Idris, because type driven development sounds promising when it comes to the "if it compiles, it's correct" holy grail. I just hope it has practical applications in various types of software, not just formal protocol definitions and things like that.

code of conduct - report abuse