LINUX.ORG.RU

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

 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 ()
Последнее исправление: Shaman007 (всего исправлений: 1)

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

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

anonymous
()

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

iVS ★★★★★
()

Не нужно.

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

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

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

ziemin ★★
()

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

ForwardToMars
()

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

Napilnik ★★★★★
()

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

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

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

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

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

anonymous
()

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

Аксиома

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

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

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

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

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

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

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

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

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

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