On 06/08/13 15:29, Bertfried Fauser wrote:
> b) Meta understanding: Many complex scientific problems, like in a
> CAS, need quite
>a lot of mathematical pre-knowledge and possibly also a proof, that
> they will do what
>they promise to do. However, computing as-such does *not* require
> the
Bill Page wrote:
>
> On 5 August 2013 14:20, Waldek Hebisch wrote:
> > I think that we should get rid of noweb and declare
> > past attempt at literate programming as a failure.
> > More precisely, noweb markup is causing troubles.
> > They are not big troubles, but AFAICS we are getting
> > esse
Hi,
sorry to hear this literate discussion again and now with this
vector about it. I like
literate programs as they do improve programming help maintenance and many
other things. The present discussion may lack some practical aspects, which I
list below:
a) many scientific programs start as ha
Your efforts are not for nought;
however, you missed the same thing that Knuth missed:
The AXIOM/FRICAS/OpenAXIOM situation is the inverse problem
to working with an already literate program.
The panAXIOM problem is how to create a literate program from
an pre-literate one. Knuth fudged this wi
On 5 August 2013 14:20, Waldek Hebisch wrote:
>> I think that we should get rid of noweb and declare
>> past attempt at literate programming as a failure.
>> More precisely, noweb markup is causing troubles.
>> They are not big troubles, but AFAICS we are getting
>> essentially no value from noweb
On 5 August 2013 14:20, Waldek Hebisch wrote:
> I think that we should get rid of noweb and declare
> past attempt at literate programming as a failure.
> More precisely, noweb markup is causing troubles.
> They are not big troubles, but AFAICS we are getting
> essentially no value from noweb so w
Waldek Hebisch writes:
| I think that we should get rid of noweb and declare
| past attempt at literate programming as a failure.
| More precisely, noweb markup is causing troubles.
| They are not big troubles, but AFAICS we are getting
| essentially no value from noweb so why bother with
| it?
I think that we should get rid of noweb and declare
past attempt at literate programming as a failure.
More precisely, noweb markup is causing troubles.
They are not big troubles, but AFAICS we are getting
essentially no value from noweb so why bother with
it?
--
Wal
