On Thu, Jul 17, 2014 at 6:34 AM, Luca De Feo <de...@lix.polytechnique.fr> wrote: > I guess these two posts by G. Hoare (creator of the Rust language) are > of interest to the community: > > http://graydon2.dreamwidth.org/3186.html > http://graydon2.dreamwidth.org/189377.html > > See also the presentation linked therein: > > http://nbviewer.ipython.org/gist/StefanKarpinski/b8fe9dbb36c1427b9f22 > > I am very impressed by the way Julia's generic functions (aka > multimethods) solve many of the problems we constatly have to face > when designing Sage's type system (expression problem).
Julia is certainly very impressive. I'm not sure multimethods alone are enough to solve issues with Sage's type system (e.g. coercion, where the result of a+b may happen in a completely new domain) but they could certainly help. - Robert -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
