(actual text is snipped out since this was not public but I want to record
the reply on axiom-developer)
...[snip]...comments about scale...
What kind of scaling are you thinking about? Axiom currently has about
20 books
that will eventually have all of the source code in literate form. Some
Hi Tim,
On 07/10/2007 10:43 PM, [EMAIL PROTECTED] wrote:
Ralf,
don't you think you should change a bit yourself?
It's worse than you believe, actually. All incoming email is in emacs
RMAIL on one machine and all outgoing email is sent from emacs on
another machine. So I actually retype email
I don't know, actually. Probably because the initial comment comes
in email. I'm 100% email driven, both for Axiom and work so I tend
to react to the linear stream. Besides, when I do have stuff on
MathAction (like the 2004 goals document) it tends to get lost even
when it is linked from the FAQ.
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> > One can think of a continuation is an abstract object representing the
> > remainder of a computation. We normally think about functions
> > returning values, with continuations we pass the value to the
> > remainder of the computation.
>
> Oh, are y
One can think of a continuation is an abstract object representing the
remainder of a computation. We normally think about functions
returning values, with continuations we pass the value to the
remainder of the computation.
Oh, are you trying to say that in order to pass some value to the
con
Hi Ralf,
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> I am not so sure that I understand what a "continuation" is. I've
> already read some text about that, but I seem not to get the
> difference to Aldor's Generator concept. Maybe somebody can help. How
> would a continuation in Aldor look like a
On 07/08/2007 01:39 PM, [EMAIL PROTECTED] wrote:
Eh? I sent you the reference to the book so that you could see an
example of what I consider modern literate programming practice that
has been published as a textbook.
Sorry, did you address that to me? Since I don't have that book and
cannot b
> The discussion of provisos has ALWAYS been an algebraic discussion
> and always related to spad-level programming. I'd like to have a
> proviso domain (or extend the SUCHTHAT domain) so we could form a
> continuation/future/closure over all or a portion of a computation
> and later evaluate it.
Greetings! Very much so, as I think we need to diversify my knowledge
of the internals into more brains. Of course, I find myself pressed
for time
Take care,
[EMAIL PROTECTED] writes:
> Camm,
>
> Do you have any interest in making a literate form of GCL?
>
> Tim
>
>
>
>
--
Camm Mag
Martin Rubey wrote:
> Ralf Hemmecke <[EMAIL PROTECTED]> writes:
>
>
>> I wanted an environment that describes theory and the program in connection
>> to
>> that theory. I didn't have the need to show output of that program. (Well,
>> not
>> yet.)
>>
>
> But that's very similar to my reque
Ralf Hemmecke wrote:
> Hi Ed,
>
>> So ... just how does one "get started" doing literate programming in
>> Axiom? Suppose, for example, I am working on a queuing theory model and
>> want to mix equations, data, graphs, etc. in a paper? Curiously enough,
>> LyX interfaces directly to noweb but not
But that's very similar to my request! Namely, integrate MathAction and
HyperDoc into AllProse. I believe that having only one very powerful yet simple
file format (i.e., LaTeX and noweb) would make it a lot simpler to write
documentation.
\begin{axiom}[version]
\end{axiom}
that allows you to
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> I wanted an environment that describes theory and the program in connection to
> that theory. I didn't have the need to show output of that program. (Well, not
> yet.)
But that's very similar to my request! Namely, integrate MathAction and
HyperDoc into
Hi Ed,
So ... just how does one "get started" doing literate programming in
Axiom? Suppose, for example, I am working on a queuing theory model and
want to mix equations, data, graphs, etc. in a paper? Curiously enough,
LyX interfaces directly to noweb but not to Axiom and TeXmacs interfaces
dir
I'm just now starting to do "literate programming", so I haven't had a
chance to run into any performance bottlenecks in "noweb" yet. My
approach has been to use TeXmacs or LyX to edit "literate programs."
While both have native formats, both also can read and write files in
TeX. TeXmacs can also i
Hello Ed,
I tend to agree with Martin (and you). The main goal of Axiom-developers
should be to get the mathematics right. Programming tools for speeding
up the "Mathematics goal" is just here since there are not so many good
tools around for our purpose. If there are people (like you probably
"M. Edward (Ed) Borasky" <[EMAIL PROTECTED]> writes:
> I'm in violent agreement in principle -- anything that depends on "awk"
> and "sed" (and pipes and the shell) needs to be re-implemented. The
> question is, "In what language should the re-implementation take place?"
I disagree. I think we sh
I'm in violent agreement in principle -- anything that depends on "awk"
and "sed" (and pipes and the shell) needs to be re-implemented. The
question is, "In what language should the re-implementation take place?"
My gut reaction is that the logical choice is not Lisp but C. Rather
than "awk", "sed
(note that this part of my reply is copied to the axiom mailing list)
> Would you care to share some insights as to why you are thinking about
> redoing noweb in lisp?
five reasons.
(well "reasons" might be a bit strong except in a religious sense)
first, noweb is slow. my current document (fo
19 matches
Mail list logo
