LINUX.ORG.RU

Fortress 1.0

 , , ,


0

0

За первоапрельскими шутками прошёл незамеченным выход версии 1.0 языка программирования Fortress - спецификации и экспериментальной реализации.

Язык Fortress разрабатывается компанией Sun Microsystems уже почти три года. Разработка начиналась в рамках инициативы министерства обороны США - программы DARPA HPCS, давшей начало также языкам X10 (IBM) и Chapel (Cray). В 2006 году финансирование из источников DARPA было прекращено, и с 2007 года проект развивается по модели Open Source. "Отцом" Fortress является Guy L. Steele, Jr. - человек, в своё время разработавший язык Scheme.

Fortress позиционируется как язык для высокопроизводительных параллельных вычислений, в некотором роде замена Fortran. Fortress - мультипарадигменный язык, сочетающий в себе черты объектно-ориентированных и функциональных языков, динамически типизированный (с выведением типов), учитывающий специфику параллельных вычислений на уровне семантики языка (автоматическое распараллеливание циклов for и т.п.). Поддерживаются lambda-выражения, замыкания, хвостовая рекурсия. Из инновационных свойств - активное использование Unicode в исходных текстах, за счёт этого - максимальное приближение текста к математической нотации; использование размерностей. По словам авторов, семантически Fortress ближе всего к Java, а синтаксисом больше всего напоминает Scala, Standard ML и Haskell.

Версия 1.0 включает в себя спецификацию и интерпретатор Fortress, написанный на Java. По словам разработчиков, некоторые "killer features" пришлось исключить из спецификации, так как они требуют дальнейшего исследования, но в то же время очень важно, чтобы спецификация и интерпретатор находились в полном соответствии. Интерпретатору сопутствуют также Emacs mode для Fortress и инструмент Fortify для представления исходных текстов в LaTeX.

Сообщение о старте проекта Fortress в 2005 году было встречено на linux.org.ru горячими дискуссиями, и хочется верить, что интерес сообщества к данной разработке только возрос.

Сайт проекта: http://projectfortress.sun.com

>>> Сообщение о выходе Fortress 1.0

anonymous

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

Ответ на: комментарий от Sun-ch

>Ну вот тут новость была, как в МГУ новый суперкомпьютер купили. На нем тоже на матлабе будут писать?

По инсайдерским данным нет ;)

sS ★★★★★
()
Ответ на: комментарий от Sun-ch

> Ну вот тут новость была, как в МГУ новый суперкомпьютер купили. На нем тоже на матлабе будут писать?

Вряд ли, но я не в теме. Для начала надо спросить вопрос - а кому в МГУ он нужен вообще, интересно для каких задач не хватало Twin 1 и Twin 2 (не касаясь вопроса поднятия престижа университета :)

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

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

Sun-ch
()
Ответ на: комментарий от sS

> Никто. Новый будут писать.

> 25 лет уже ждёмс ;)

Обобщение своего частного опыта и частных проблем на человечество - типичная черта хороших специалистов в узкой предметной области. :)

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

> Чего вам не хватает в том же современном фортране в плане HPC и что _этакого_ вам даст эта новая поделка ?

"Нет бога кроме Аллаха..." Так что-ли?

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

>Веротяно хочется иметь средство описание проблемы, понятное специалисту по предметной области

Специалисту (в предметной области) нужно не _описание_ а _решение_ проблемы.

Причём здесь и сейчас.

А этим сферическим коневодством пускай CS-тЭоретики занимаются.

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

>Обобщение своего частного опыта и частных проблем на человечество- типичная черта хороших специалистов в узкой предметной области.

А ничё что эта частная область - HPC ? ;)

sS ★★★★★
()
Ответ на: комментарий от Sun-ch

> В МГУ есть НИВЦ - вроде как один из ведущих научных центров по HPC.

Есть. Вот публикации его директора:

http://parallel.ru/russia/people/vvv.html

Ну как, видите задачи, требующие именно кластера из Top-100 с потреблением пол-мегаватта?

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

То есть списка фич, которые эта поделка привезёт фортрану (современному) мы от вас не услышим ?

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

> Специалисту (в предметной области) нужно не _описание_ а _решение_ проблемы. Причём здесь и сейчас.

И как он его получит, если не является специалистом в HPC?

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

> В теории для Mathlab (как я помню) есть же MPI-бекенд.

gridMathematica тоже кое-где есть. Все-равно медленно.

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

>Ну как, видите задачи, требующие именно кластера из Top-100 с потреблением пол-мегаватта?

Галстук новый купить ;)

И костюмчик поприличнее ;)

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

> А ничё что эта частная область - HPC ? ;)

Она не частная. Если не подразумевать "HPC==кластеры для численных расчетов с плавающей точкой на основе MPI" ;)

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

>И как он его получит, если не является специалистом в HPC?

Купит готовое за чемодан зелени ;)

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

> Галстук новый купить ;)

Ну вообще понятно что МГУ не может по статусу иметь кластер не из Top-100 ;)

На ВМК есть несколько вычислительных кафедр. Возможно, у них что-то есть. Но Садовничий конкретику на открытии кластера не сказал. Что наводит на печальные мысли.

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

> И как он его получит, если не является специалистом в HPC?

Купит готовое за чемодан зелени ;)

Вот предлагают Fortress как альтернативу ;)

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

>Она не частная. Если не подразумевать "HPC==кластеры для численных расчетов с плавающей точкой на основе MPI" ;)

Да конечному пользователю пофиг что там на чём стояло.

25 лет назад были EC ЭВМ (IBM 360) сейчас кластеры.

Математика за эти годы не поменялась. Даже некоторые программы остались теми же. Для прикладника мало что поменялось.

Разве что скорости и объёмы детализации выросли на порядки.

sS ★★★★★
()

Блин, надо было мне (R) забить 14 лет назад, когда я делал 32-х битный Форт под этим названием :)

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

> Вот предлагают Fortress как альтернативу ;)

Fortress это пока не альтернатива а "чертёж" инструмента.

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

Знаете, я уже возможность забыть про необходимость следить за длинной массивов счел бы за благо. А возможность автоматического перехода к ФКП? Сейчас нулевых бесселей в любой библиотеке 10 штук.

А возможность _прозрачно_ передать функциональную зависимость модулю?

А эти бесчисленные циклы, которые что-то там проверяют или умножают на 2? С временными массивами и путаницей в переменных, делающие код абсолютно нечитабельным. Да заменить их на map, какой-нибудь само по себе благо.

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

Ну у меня есть некоторая инсайдерская инфа что они с ним будут делать :) Догадайся с 3-раз ;)

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

> Fortress это пока не альтернатива а "чертёж" инструмента.

Да, безусловно.

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

> Ну у меня есть некоторая инсайдерская инфа что они с ним будут делать :) Догадайся с 3-раз ;)

Ох не нравятся мне эти смайлики... Лабы студенческие гонять и тесты производительности, что ли? ;(

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

>А эти бесчисленные циклы, которые что-то там проверяют или умножают на 2?

FORALL/WHERE не помогают разве при этом ?

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

> Нет конечно ;) Для этого у них мелких кластеров хватает ;)

Хорошо что нет! А что тогда? Об областях исследований вычислителей представления я никакого не имею, так что не томи, поделись информацией пожалуйста.

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

> Нет конечно ;) Для этого у них мелких кластеров хватает ;)

Хорошо что нет! А что тогда? Об областях исследований вычислителей представления я никакого не имею, так что не томи, поделись информацией пожалуйста.

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

Собственно они загрузят его тем, чем и другие университетские (на западе) террафлопсники загружены. По моим данным это будет фармакология (информация чисто ОБС ;) - за что купил за то и продаю ;))

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

Это в некотором роде хорошие новости, но как я понимаю это означает продажу вычислительных мощностей по договорам кому-то стороннему и коммерческому (и, вероятно, забугорному, или я плохого мнения о состоянии дел в РФ)?

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

Я подробностей не знаю (кому и почём) но шаг в общем логичный.

sS ★★★★★
()

сколько чертовых специалистов говорить "это не нужно" собралось.

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

> Ну у меня есть некоторая инсайдерская инфа что они с ним будут делать :) Догадайся с 3-раз ;)

>Ох не нравятся мне эти смайлики... Лабы студенческие гонять и тесты производительности, что ли? ;(

Судя по полмегаватному электропотреблению жарить чебуреки и продавать студентам.

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

Sun-ch>

>Идиёт.

>Guy L. Steele Jr это тот самый чувак, который работал в комитете по стандартизации Common Lisp.

Так и запишем: Саныч - быдло.

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

О да, ты, сявка, конечно же куда как меньший бездельник, чем такие монстры индустрии, как Sun. Сидит этакое ничтожное, неумное, необразованное чмецо, кодерастит всякую быдлотень на своём унылом похапе, и имеет наглость критиковать исследователей, создающих экспериментальные языки. Мерзостная картинка.

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

Sun-ch> умерли программисты на фортране.

Быдлокодеришко, я лично знаю программиста на фортране. Так что сдохни, быдло.

Quasar ★★★★★
()
Ответ на: комментарий от Sun-ch

Sun-ch> И вообще, вроде как его уже лет 10 не преподают

4.2

Quasar ★★★★★
()
Ответ на: комментарий от Sun-ch

Sun-ch> Устарел фортран, как впрочем С/С++. Люди все больше пишут на яве или других динамических языках.

В высокопроизводительных вычислениях? Срочно сожги свой диплом высшего образования!

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

>Быдлокодеришко, я лично знаю программиста на фортране. Так что сдохни, быдло.

Виталег? Он тебя заставлял делать это?

Sun-ch
()
Ответ на: комментарий от Quasar

В HPC используют даже интерпретируемую тормознючую Mathematica или Octave. Я уж не говорю про такой изврат, как NumPy. И ничего, живы как-то.

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

Mathematica, применительно к вычислениям, не вполне интерпретатор. Она, по-умолчанию, прекомпилирует структуры для численного счета. Хотя, конечно, тормозилово.

А некоторая популярность NumPy лишь демонстрирует спрос на язык с синтаксическим сахаром в этой области.

Loh ★★
()
Ответ на: комментарий от Sun-ch

>Guy L. Steele Jr это тот самый чувак, который работал в комитете по стандартизации Common Lisp.

Он редактор спеки на Common Lisp.

Он же один из авторов Scheme и один из редакторов спецификаций Java и JVM.

Aleksey_by
()
Ответ на: комментарий от Sun-ch

> Устарел фортран, как впрочем С/С++. Люди все больше пишут на яве или других динамических языках.

Чё-то я не замечаю, что большая часть софта во FreeBSD написана на чём-то, отличном от C/C++.
Люди всё больше пишут на яве или других динамических языках? Ты в этом сильно уверен? Я — нет.

Эти "другие динамические языки" являются лишь костылями для C/C++ приложений, которые до сих пор не асилили самосборку. Приложения на этих древних и умирающих языках приходится собирать различными утилитами в перемешку со скриптами на Perl, Bash и др. интерпретаторов. Но в результате получаются, что удивительно, работающие приложения такие как Ruby, JVM, Perl, Python и т.д., написанные на C/C++, а не на чём-то другом типа Forth, Modula2 и Pascal!!

Так в чём правда, брат?

iZEN ★★★★★
()
Ответ на: комментарий от Sun-ch

> Guy L. Steele Jr это тот самый чувак, который работал в комитете по стандартизации Common Lisp.

Кроме того, он один из двух авторов языка Scheme, соавтор одного из лучших справочников по C, автор книги-описания Common Lisp, и кроме всего прочего работал в комитетах по стандартизации ECMAScript, C, Fortran и той же Scheme. Так что даже если он и не настолько крут, как анонимные аналитики ЛОРа, так много сделавшие для развития IT, то по крайней мере заслуживает уважения.

satanic-mechanic
()
Ответ на: комментарий от Loh

> Она, по-умолчанию, прекомпилирует структуры для численного счета.

Уныло она весьма их компилирует.

> лишь демонстрирует спрос на язык с синтаксическим сахаром в этой области

Именно. Народу легче написать всё в 10 раз быстрее и ждать результата в 10 раз дольше, чем пахать в 10 раз больше и ждать в 10 раз меньше.

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

Он же, кстати, и над спецификацией Java работал.

anonymous
()

Что, бесенята, очко поигрывает? Боитесь признать, что ваш фортран и С++ вымирает, и вы скоро станете никому не нужны со своим MPI?

Только откровенный наглец способен говорить, что фортраноподобные языки с ручным параллелизмом пригодны для расчётов. Имея код на хаскеле/математике/даже питоне с numpy я могу без особого труда понять, что он делает, и восстановить исходные уравнения. А имея лапшу на фортране или на плюсах ничего понять нельзя. Write-only language, ёпта, простой значок суммы превращается в грёбаный цикл на полэкрана. Недоязыкам без первоклассных функций в математике делать нечего, а деструктивное изменение значений переменных без крайней необходимости = анальное слабоумие.

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

>Боитесь признать, что ваш фортран и С++ вымирает, и вы скоро станете никому не нужны со своим MPI?

Угу...от выделяемого вами метана задохнуться ;)

sS ★★★★★
()
Ответ на: комментарий от ero-sennin

Ну, справедливости ради - не обязательно от Фортрана отказываться, он для вычислений рулит недеццки. Вот только писать на Фортране не надо, это верно. Та же Mathematica прекрасно умеет генерить из своих выражений код на Фортране.

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

>Ну, справедливости ради - не обязательно от Фортрана отказываться, он для вычислений рулит недеццки

Бесполезно это объяснять людям которые моложе Фортрана втрое ;)

>Та же Mathematica прекрасно умеет генерить из своих выражений код на Фортране.

Не только Mathematica и не только в фортран.

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