Francesco, Julia seems remarkably like SPAD and Aldor, particularly in its type system
http://docs.julialang.org/en/latest/manual/types/ but I seriously doubt that fully automatic translation of the FriCAS library would be possible since FriCAS frequently resorts to direct calls to the underlying runtime environment (LISP) and takes advantage of some unsafe type operations that are possible because of implicit knowledge of this environment. On the other hand, a tool to assist manual translation of FriCAS library code to equivalent Julia code should be relatively easy. In fact the original Axiom system from which FriCAS was forked included just such a translation assistant to go from SPAD to Aldor. I am quite interested in participating in any project in Julia whose aim would be to port a major part of the FriCAS library to Julia - especially if it is done in such a way that the resulting Julia code could be called from within FriCAS. Bill Page. On 15 March 2014 12:49, Francesco Bonazzi <[email protected]> wrote: > Hi there! > > I have been looking at the FriCAS and OpenAxiom code recently, to determine > whether it is possible to translate the code into Julia programming > language. > > Julia is a new open source programming language for scientific purposes. It > has many objectives, like being simple to learn as Python/Ruby (or even > simpler), run as fast as C, support statistics libraries like R and > matrix/array/solvers/optimizations operations like MATLAB. It also supports > Lisp-like macros and metaprogramming. High performance is achieved through a > LLVM JIT compiler and intelligent type inference. Functions are > multiple-dispatched by their types. > > http://julialang.org/ > > Julia also integrates a package repository system, based on git (many > packages are hosted on github). > > I think that creating a SPAD-to-Julia compiler is a hard task, but > nonetheless I believe that adding CAS support to Julia would benefit both > Julia and the CAS itself. I believe that Julia offers a much easier learning > curve for beginners than SPAD, and the CAS developing community could become > much larger, with considerable improvement to the code. > > I was wondering whether it is possible to use aldor or the spad compiler to > generate the "parsed aldor" format of FriCAS (the -Fap parameter in aldor), > so that the source code parsing would be much easier. > > Otherwise, do you have any other suggestions or do you believe that such > work is infeasible by automatic translation? > > -- > 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. -- 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.
