Re: [fricas-devel] GSoC 2014 proposal: Improved type system for FriCAS.

2014-03-11 Thread Krystian Bacławski
On Mon, Mar 10, 2014 at 9:51 PM, Bill Page bill.p...@newsynthesis.orgwrote: Are there other systems similar in some way to FriCAS that already use LLVM? I have no knowledge about any CAS using LLVM. However there're some serious players in industry and open source that use LLVM. They're

Re: [fricas-devel] GSoC 2014 proposal: Improved type system for FriCAS.

2014-03-11 Thread Martin Baker
Hi Krystian, On 11/03/14 09:36, Krystian Bacławski wrote: Anything you can do to limit FriCAS library dependencies on BOOT and Lisp code would be a win in long term. If we eventually decide to move away from Common Lisp as runtime environment, every function we use from CL library will

Re: [fricas-devel] GSoC 2014 proposal: Improved type system for FriCAS.

2014-03-11 Thread Bill Page
On 11 March 2014 05:46, Krystian Bacławski krystian.baclaw...@gmail.com wrote: On Mon, Mar 10, 2014 at 9:51 PM, Bill Page bill.p...@newsynthesis.org wrote: Are there other systems similar in some way to FriCAS that already use LLVM? I have no knowledge about any CAS using LLVM. However

Re: [fricas-devel] GSoC 2014 proposal: Improved type system for FriCAS.

2014-03-11 Thread Martin Baker
On 11/03/14 13:55, Bill Page wrote: 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

Re: [fricas-devel] GSoC 2014 proposal: Improved type system for FriCAS.

2014-03-11 Thread Waldek Hebisch
Martin Baker wrote: I have come across (and occasionally used myself) Lisp calls such as: sayTeX$Lisp hello mathObject2String$Lisp ATOM(expr)$Lisp break down an expression into atoms trapNumericErrors myTrap1(ff:DF- DF, f:DF):DF == s := trapNumericErrors(ff(f))$Lisp ::

[fricas-devel] Nopile mode

2014-03-11 Thread Waldek Hebisch
I have noticed that FriCAS nopile mode currently has different behaviour with respect to braces than most other languages using braces: nopile mode requires semicolon after closing brace and effectively disallows semicolon just before closing brace. I am thinking about changing this. ATM I do not