Re: [Axiom-developer] Embedding Axiom as an OCaml library.

Waldek once wrote some code to use FriCAS as a Lisp library. Possibly you get some hints there, how to do something similar for OCAML and Axiom Martin ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/

Re: [Axiom-developer] Embedding Axiom as an OCaml library.

Guillaume, Axiom isn't structured to be used as a library. The only place I've ever seen it embedded is in Sage. They use pexpect to capture the Axiom input and output. Axiom can be configured to work as a server. Currently it will talk to a firefox browser. The code interface is rather specific

[Axiom-developer] Embedding Axiom as an OCaml library.

Hello. I would appreciate embedding Axiom as an OCaml library. Looking around in the (huge) documentation of Axiom hasn't been extremely fruitful to gather the information that I need. From what I gather, Axiom, as it is currently distributed in Debian, is a modified version of Lisp, with a

[Axiom-developer] Embedding Axiom

Another trend that is important is the development of parallelism. Berkeley has a group dedicated to this it seems[1]. Assuming that today's uniprocessor power is the peak speed for the future we need to architect the system to take advantage of parallelism. My view of the natural embedding of pa

[Axiom-developer] Embedding Axiom (Hickey and fold/unfold) Folding and generalization

Martin Baker wrote: On Friday 20 November 2009 23:17:25 Tim Daly wrote: There is an excellent talk by Rich Hickey about modelling time, identity, values, perception, state, memory, etc. Tim, While I was watching this talk I was wondering about the difference between the mainstream c

[Axiom-developer] Embedding Axiom (Hickey and fold/unfold) and Reifying time

Martin Baker wrote: On Friday 20 November 2009 23:17:25 Tim Daly wrote: There is an excellent talk by Rich Hickey about modelling time, identity, values, perception, state, memory, etc. Tim, While I was watching this talk I was wondering about the difference between the mainstream c

[Axiom-developer] Embedding Axiom (Hickey and fold/unfold) and rule based programming

Martin Baker wrote: On Friday 20 November 2009 23:17:25 Tim Daly wrote: There is an excellent talk by Rich Hickey about modelling time, identity, values, perception, state, memory, etc. Tim, While I was watching this talk I was wondering about the difference between the mainstream c

Re: [Axiom-developer] Embedding Axiom (Hickey and fold/unfold)

On Friday 20 November 2009 23:17:25 Tim Daly wrote: > There is an excellent talk by Rich Hickey about modelling time, > identity, values, > perception, state, memory, etc. Tim, While I was watching this talk I was wondering about the difference between the mainstream computing issues verses mat

[Axiom-developer] Embedding Axiom (Hickey and fold/unfold)

There is an excellent talk by Rich Hickey about modelling time, identity, values, perception, state, memory, etc. http://www.infoq.com/presentations/Are-We-There-Yet-Rich-Hickey I think it adds quite a bit to the Embedded Axiom idea set. If we kept immutable intermediate states we could easi

Re: [Axiom-developer] Embedding Axiom

M. Edward (Ed) Borasky wrote: So: a. Is it to be Common Lisp rather than Scheme? Should it work (and be tested) with all three major open-source platforms (clisp, sbcl and gcl)? Common lisp. For the simple reason that a slow transition from a working version to a working version on a daily b

Re: [Axiom-developer] Embedding Axiom

Hi, if you do the rewrite, feel free to choose Ciao BF. -- % PD Dr Bertfried Fauser % Research Fellow, School of Computer Science, Univ. of Birmingham % Honorary Associate, University of Tasmania % Privat Docent: University of Konstanz, Physics Dept

Re: [Axiom-developer] Embedding Axiom

So: a. Is it to be Common Lisp rather than Scheme? Should it work (and be tested) with all three major open-source platforms (clisp, sbcl and gcl)? b. The kind of test / behavior driven development such a massive refactoring requires is "usually" done in Ruby these days. Are there Lisp-based tool

Re: [Axiom-developer] Embedding Axiom

Stephen Wilson wrote: Hi Tim, On Sun, Nov 15, 2009 at 11:35:00PM -0500, Tim Daly wrote: This is a request for design discussion for those who are interested. Your message is very interesting. I have some plans on how to get "from here to there" in a slow, incremental fashion. The

Re: [Axiom-developer] Embedding Axiom

Hi Tim, On Sun, Nov 15, 2009 at 11:35:00PM -0500, Tim Daly wrote: > This is a request for design discussion for those who are interested. Your message is very interesting. > I have some plans on how to get "from here to there" in a slow, incremental > fashion. These plans involve things like fin

Re: [Axiom-developer] Embedding Axiom

C Y wrote: On Sunday 15 November 2009 23:35:00 Tim Daly wrote: This is a request for design discussion for those who are interested. When it is done in this properly embedded fashion you should be able to (mapcar #'(lambda (f) (integrate f x)) '((sin x) (cos x) ... or use the Spad surface sy

Re: [Axiom-developer] Embedding Axiom

On Sunday 15 November 2009 23:35:00 Tim Daly wrote: > This is a request for design discussion for those who are interested. > When it is done in this properly embedded fashion you should be able to > (mapcar #'(lambda (f) (integrate f x)) '((sin x) (cos x) ... > or use the Spad surface syntax to

Re: [Axiom-developer] Embedding Axiom

Martin, I re-read what I wrote and it is likely to not be very meaningful to you. Let me try to demonstrate the point. Suppose you wanted to implement an "if-only" statement in Scala. Is this possible? I don't know Scala so I can't say but I would guess not. In Python (which I do know) a statem

Re: [Axiom-developer] Embedding Axiom

Martin Baker wrote: On Monday 16 November 2009 04:35:00 Tim Daly wrote: This is a request for design discussion for those who are interested. Tim, Can I ask a nieve question? If you were starting from scratch would you write Axiom in lisp? I've no special axe to grind and no specia

Re: [Axiom-developer] Embedding Axiom

On Monday 16 November 2009 04:35:00 Tim Daly wrote: > This is a request for design discussion for those who are interested. Tim, Can I ask a nieve question? If you were starting from scratch would you write Axiom in lisp? I've no special axe to grind and no special technical knowledge, I'm just

[Axiom-developer] Embedding Axiom

This is a request for design discussion for those who are interested. I am rewriting Axiom into literate form. This involves understanding Axiom in a very deep way. One of the insights of my current understanding is that Axiom needs to be restructured internally. I have to say that if you are no