[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Heidegger, literate programming, and communication

From: Fabio S.
Subject: Re: [Axiom-developer] Heidegger, literate programming, and communication
Date: Thu, 22 May 2014 15:29:11 +0200 (CEST)
User-agent: Alpine 2.10 (DEB 1266 2009-07-14)

I can tell you I would rather maintain the four lines of C++ without
the largely useless commentary.

That's a simple AXIOM program, but I'm sure one can easily translate it
into any programming language.

foo(a: Integer, b: Integer): Integer ==
   if a > 0 then
       if a > b then return foo(b,a)
       return foo(b-a,a))
   return b

Question: Does the program have a bug?


Yes: there is an extra parenthesis in the fourth line... :)

Which, BTW, I discovered as soon as I pasted it in a file since it was error-highlighted by the syntax highlighting in vim :))

A part from this, I think the example points out that perhaps we can make a difference between source code of axiom (as a piece of software) and implementation of (higher) mathematics: maybe the need for a complete and thorough documentation can be considered of different importance in the two cases.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]