LINUX.ORG.RU

Компилятор языка Aldor выпущен под свободной лицензией

 , , ,


0

4

Aldor.org получил разрешение распространять компилятор языка Aldor под лицензией Apache Software Foundation Apache License, Version 2.0.

Алдор задумывался для использования в системе компьютерной алгебры Аксиома, где он должен был прийти на смену языку Spad. В 2001 году Аксиома была выпущена под свободной лицензией, но не компилятор Алдора, что препятствовало переходу Аксиомы на более совершенный язык и дальнейшему совместному развитию Аксиомы и Алдора. Разработка Алдора велась примерно до 2007 года, затем сошла на нет.

Алдор является высокоуровневым языком программирования со статической типизацией, зависимыми типами и позволяет использовать как функциональный, так и императивный подход к программированию. Имеет тесную интеграцию с системой компьютерной алгебры Аксиома, что позволяет одинаково легко производить и численные и символьные вычисления.

Сейчас идет подготовка к выпуску нового релиза компилятора, доступна версия для разработчиков. На данный момент ссылки на документацию к языку недоступны (она была весьма качественной), но можно составить представление о нем по другим источникам:

http://www.aldor.org/docs/HTML/contents.html http://xinutec.org/~pippijn/home/projects/lang/aldor http://en.wikipedia.org/wiki/Aldor

>>> Aldor.org

anonymous

Проверено: Shaman007 ()

Исправь заголовок . «Кмпилятор»

Landgraf ★★★★★ ()
Ответ на: комментарий от Landgraf

а я не могу. Я тут еще отыскал руководство пользователя http://www.aldor.org/docs/aldorug.pdf А вот подробная спецификация языка так и не всплыла снова. Кто-то с аккаунтом может оформить новость сам.

anonymous ()

Великолепная новость! Ждем включения в FriCAS!

iVS ★★★★★ ()

он должен был прийти на смену языку Spad

Эпично. А эта аксиома какая-то ASCII прямо, судя по скриншотам.

sT331h0rs3 ★★★★★ ()
Ответ на: комментарий от sT331h0rs3

Эпично. А эта аксиома какая-то ASCII прямо, судя по скриншотам.

ОМГ. Чем они скриншоты делали?

ziemin ★★ ()

Если это кому-то интересно, пусть пилят, конечно, но у нас уже есть R и octave.

ForwardToMars ()
Ответ на: комментарий от sT331h0rs3

И что? Mathematica тоже в ASCII-арт умеет, и Maxima. Это типа стандарт для всех CAS той эпохи.

anonymous ()

А няшные игровые движки на нём есть? И как с производительностью.

Napilnik ★★★★★ ()

Ах, забыл добавить, что, судя по документации, наличивствует type inference. Что-то не слышно восторгов, язык богаче Хаскелла. Правда синтаксис более старперский.

anonymous ()
Ответ на: комментарий от PatrickKilpatrick

Тяжкое наследие проприетарного режима.

anonymous ()

http://www.aldor.org/wiki/

Parse error: syntax error, unexpected T_NAMESPACE, expecting T_STRING in /home/smwatt/public_html/sites/aldor.org/wiki/includes/Namespace.php on line 46

очередная прыщеподелка.

anonymous ()
Ответ на: комментарий от anonymous

Эта прыщеподелка старше тебя раза в три минимум.

anonymous ()

CAS c зависимыми типами — это интересно, поскольку большинство нынешних написано на динамических недоязыках. Да и реализация алгоритма Риша в axiom, говорят, долгое время была одной из самых полных. Кто-нибудь щупал это поделие?

Аксиома

Ох уж этот русский фансаб. Имена собственные не переводятся.

dmfd ()
Ответ на: комментарий от dmfd

Кто-нибудь щупал это поделие?

Я щупал. Хорошая вещь для символьных вычислений. Интегрировала на момент теста сильно лучше, чем maxima. Только вот считает медленно.

Для полной картины надо будет как-нибудь еще Reduce потыкать палочкой, если время найду, я в нем так и не разобрался.

По теме: отличная новость.

feofan ★★★★★ ()
Последнее исправление: feofan (всего исправлений: 2)
Ответ на: комментарий от feofan

Ну, максима в своё время мне вообще неким недоразумением показалась.

dmfd ()
Ответ на: комментарий от dmfd

Аналогичное ощущение возникло и у меня. Зато к maxima морд больше =)

Из-за быстродействия axiom для численных расчетов лучше использовать octave.

feofan ★★★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.