3 ms·
I love type theory, but I think a language like Sage[1] is probably the most interesting way forward. [1] - http://sage.soe.ucsc.edu/ http://sage.soe.ucsc.edu/
by octo_t 13y ago
I love type theory, but I think a language like Sage[1] is probably the most interesting way forward.
[1] - http://sage.soe.ucsc.edu/ http://sage.soe.ucsc.edu/
- StefanKarpinski 13y agoThat's a somewhat unfortunate name to choose for a new language given the existence of this well-established system: http://www.sagemath.org/ http://www.sagemath.org/
- sfvisser 13y agoWhy the 'but'? There seems to be quite some type theory involved in Sage.
- ufo 13y agoI really like the idea behind Sage but I found it kind of funny that in their test cases all the ".out" files are empty because none of the programs actually do any IO. No hello-world for you :P
- tel 13y agoHow do you feel about dependently typed systems?