Aldor

<h2 id="examples">Examples</h2>
<p>The <a href="/facts/Hello_world_program/vLn0jLlL">Hello world program</a> looks like this:
</p>
#include "aldor"
#include "aldorio"

stdout << "Hello, world!" << newline;

<p>Example of dependent types (from the User Guide):
</p>
#include "aldor"
#include "aldorio"
#pile

sumlist(R: ArithmeticType, l: List R): R == 
    s: R := 0;
    for x in l repeat s := s + x
    s

import from List Integer, Integer, List SingleFloat, SingleFloat
stdout << sumlist(Integer, [2,3,4,5]) << newline
stdout << sumlist(SingleFloat, [2.0, 2.1, 2.2, 2.4]) << newline

<p><a href="/facts/99_Bottles_of_Beer/9axW9WBa">99 Bottles of Beer</a>:
</p>
#include "aldor"
#include "aldorio"

import from Integer, String;

bob(n: Integer): String == {
    b: String := " bottle";

if n ~= 1 then b := b + "s";
    b + " of beer";
}

main(): () == {
    n: Integer := 99;
    otw: String := " on the wall";

-- refrain
    while n > 0 repeat {
        stdout << n << bob(n) << otw << ", " << n << bob(n) << "." << newline;
        stdout << "Take one down and pass it around, ";
        n := n - 1;
        if n > 0 then stdout << n;
        else stdout << "no more";
        stdout << bob(n) << otw << "." << newline;
        stdout << newline;
    }

-- last verse
    stdout << "No more" << bob(n) << otw << ", no more" << bob(n) << "." << newline;
    stdout << "Go to the store and buy some more, ";
    n: Integer := 99;
    stdout << n << bob(n) << otw << "." << newline;
}

main();

<h2 id="external-links">External links</h2>
<ul><li><a href="http://www.aldor.org">Official website</a></li>
<li><a href="https://github.com/aldorlang/aldor">Open Source Development - Git repository</a></li>
<li><a href="http://www.aldor.org/docs/aldorug.pdf">Aldor User Guide</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Gerdt, Vladimir P.; Koepf, Wolfram; Mayr, Ernst W.; Vorozhtsov, Evgenii V. (7 September 2010). Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings. Springer. ISBN 978-3-642-15274-0. Retrieved 5 July 2023. <a href="978-3-642-15274-0" target="_blank">978-3-642-15274-0</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Kirchner, Helene; Ringeissen, Christophe (30 December 2006). Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings. Springer. ISBN 978-3-540-46421-1. <a href="978-3-540-46421-1" target="_blank">978-3-540-46421-1</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Kerber, Manfred; Kohlhase, Michael (2 April 2001). Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium. CRC Press. ISBN 978-1-4398-6423-4. Retrieved 5 July 2023. <a href="978-1-4398-6423-4" target="_blank">978-1-4398-6423-4</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
<li id="fn:4"><p>"Aldor Programming Language". Aldor.org. Retrieved 12 February 2017. <a href="http://www.aldor.org" target="_blank">http://www.aldor.org</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li>
</ol>

Aldor open-in-new

Aldor