|
|
|
|
|
|
by hyperluz
5687 days ago
|
|
|
Spark & Ada just to see if the language and associated tools and processes are really practical (read fast development with low bug rates and easy to mantain code) and secure. Scheme to learn functional programming and see if this paradigm really implies in good reuse of code. Agda to learn about intuitionistic type theory. |
|
|