|
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? Ralf
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.
Fabio
[Prev in Thread] | Current Thread | [Next in Thread] |