Beautiful code. I want to create it. How can i do this?
Name:
Anonymous2015-02-07 14:00
>>1 Use agda, coq or some other language with dependent types. Programs will be pieces of pure logic, the types will reflect the values, beautiful theorems will inhabit your code and you know it is correct. (It will be slow as dogshit, though).