@Bill Page: I'll add comments on top what Waldek said. I think he gave a pretty comprehensive answer - he filled up the gaps I couldn't have addressed.
On Sun, Mar 9, 2014 at 1:56 AM, Waldek Hebisch <[email protected]>wrote: > > Of course OpenAxiom also added features. Where can I read more about it? > One thing from OpenAxiom > that could help are interfaces that expose compiler data > structures. I mentioned them to Krystian in the past, > but IIRC he found them not so helpful. I hope he can > explain this better. I think it somehow escaped my notice. We should definitely discuss it again. In long term I would still prefer to continue work of FriCAS version of SPAD compiler - as Waldek has the knowledge and time to guide me through the sources. And Aldor compiler is written in C, while new work is done in Spad, > so hopefully new typechecker will be shorter and simpler. > The hope is that people who are active SPAD / Aldor developers will be able to contribute changes into the type system. IMO C language is too low-level language to develop compilers effectively, even gcc is moving towards higher-level C++. And ultimately goal is to go beyond Aldor. > I'm not in the position to drive the changes in type system of SPAD / Aldor. I consider myself to be only a beginner. However - having experience with couple other languages like C++, Python, Ocaml, Haskell I see what could be added to the type system to make it look modern and appealing to new users. -- Kind regards Krystian Bacławski -- 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.
