> In general, I'm imagining more programmers adopting languages like Agda, > Coq, and ATS, and elaborating their compilers and runtimes to be practical > for programming in the large. >
The latest Mathematica does quite a good job of this. Also, the language Julia is really useful on this front. They are positioning themselves as a better R in a lot of their docs. The interesting work there is on the interaction of a really nice type system with a JIT compiled runtime to specialize generic functions into concrete instances based on multiple dispatch. _______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc