On Sat, 22 Dec 2007, Martin Rubey wrote: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | > On Sat, 22 Dec 2007, Martin Rubey wrote: | > | > | > ... but in the immediate future this is not something I'm working on -- I | > | > have pressing regressions to fix first. | > | | > | Too bad. I was hoping I could get you hooked. | > | > It is difficult to hook someone already hooked. | > | > FWIW, I'm not bothered by not having every runtime stuff at compile | > time, but I appreciate there are opposite opinions. | | I'm not sure I understand. All I'm saying is that *this* restriction is | severe, as without it, it's impossible to have Complex R export Field only when | this is the case - and this breaks factorization. Its a shame. | | I'm sure there are other situations where this applies, too, but I do not know | them from the top of my head.
All I'm saying is "yes, dependent types are useful. Some find them a top priority; I have very little resources left with lot of priorities, and having every runtime expression evaluable at compile time is not on the top of the list; I'l be glad to consider patches that implement that functionality." I hope you do understand I'm NOT saying dependent types are useless. -- Gaby ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2005. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
