Hi Francesco, Maybe you try a much simpler example from
http://axiom-wiki.newsynthesis.org/ProgrammingSPAD How would you program MyFun in Julia? And as you see in ZZFun, SPAD allows conditional exports. Does Julia have similar features. Oh, and that's not all that you would have to translate. As you see in ZZFun(S: SetCategory): ZZMonoid S SPAD allows dependent types, i.e. the result type does depend on the input. And if you read the explanation below that code, depending on S, ZZFun(S) provides different exports. Can this be easily mapped to Julia? Or take, for example, this https://github.com/hemmecke/fricas-svn/blob/master/src/algebra/gb.spad.pamphlet#L80 the type of the 4th argument depends on the first 3 arguments. Or look at this https://github.com/hemmecke/fricas-svn/blob/master/src/algebra/gdpoly.spad.pamphlet#L37 Here the type of the third parameter depends on the (list-)length of the first parameter. Since Julia does not have static types, I guess all this would be doable, but probably would cost quite some work and runtime typechecking is probably some overhead. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
