Just some small example... http://axiom-wiki.newsynthesis.org/TypedGcd
Maybe not convincing, but for me it shows that FriCAS makes it quite easy to express, what one wants. In general, I think that most users are still confused by types. In other words types in an interactive session is something like a hurdle, but can be useful if used wisely. However, for library writers, types are a good tool to express ideas more clearly and prevent unnecessary errors. It also helps to avoid needless code that checks whether the expression in hand is really of the form that is wanted for the particular function. Needless to say that Mathematica and Maple added code that looks like types in function specification. But in contrast to FriCAS, their stuff is basically always runtime typechecking. Just a fancy way to avoid typechecking that otherwise a programmer would have to add explicitly. 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.
