LINUX.ORG.RU

Вышла новая версия компилятора MLton

 , , ,


0

0

После почти трехлетнего перерыва вышла новая версия оптимизирующего компилятора MLton для языка Standard ML.

Основные изменения — поддержка новых платформ (AMD64/Darwin, IA64/HPUX, PowerPC64/AIX), а также исправление ошибок.

MLton осуществляет полнотекстовую (whole-program) компиляцию программ на SML. Полнотекстовая компиляция позволяет достичь высокого уровня оптимизации. Аналогом MLton являются Stalin для Scheme и jhc для Haskell.

MLton поддерживает стандарт SML'97, SML Basis Library, имеет свой FFI (т.е. может вызывать C-функции без оберток) и другие полезные расширения. MLton генерирует небольшие исполнимые файлы,не требующие внешнего рантайма.

Подробнее о языке SML: http://en.wikipedia.org/wiki/Standard_ML

Подробнее о компиляторе: http://mlton.org/Features

>>> Подробности



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

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

ну вот почему бы не использовать его или тот же хаскель или уж вконец F#, если без дотнетишки никуда, для предыдущей новости про дропбокс-репласемент?

Потому что нормальный пользовательский интерфейс на труЪ-ЯП ты писать затрахаешься.

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

> ты невнимательно прочитал пост, на который ответил.

То есть ты всё понял на самом деле? Тогда назови мне императивные языки (хотя бы два), в которых есть лямбды, карринг, хвостовая рекурсия. Если в них есть еще и алгебраические типы с паттерн-матчингом, это плюс.

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

Кстати, jhc живой?

с полгода назад был вполне живой, счас не знаю. можно спросить в Haskell-Cafe

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

нормальный пользовательский интерфейс

а нормальный - это какой?

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

я не про ЧСВ писал, если ты не понял. но, похоже, ФП страдает от своего фанатичного комьюнити примерно так же, как страдает весь опенсорс от своих фанатов-гиков.

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

> Тогда назови мне императивные языки (хотя бы два), в которых есть лямбды, карринг, хвостовая рекурсия. Если в них есть еще и алгебраические типы с паттерн-матчингом, это плюс.

Nemerle. Хоть он и не чисто императивный, но никто не запрещает писать в императивном стиле.

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

Re: Вышла новая версия компилятора MLton

Цитируем tailgunner

императивные языки (хотя бы два), в которых есть лямбды, карринг, хвостовая рекурсия.

CL подойдет?

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

> без автокаррирования, как в хаскеле — что позволяет сократить количество lambda expressions, но страшный хак

Что имеется в виду? В ML все функции каррированы, вроде как.

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

> Очередной недоязычок для небыдла, не имеющий реальных применений? Есть же C, C++ и Perl.

Должно быть, C, C++ и Perl - для быдла? Что ж, буду иметь в виду. :-)

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

>> Тогда назови мне императивные языки (хотя бы два), в которых есть лямбды, карринг, хвостовая рекурсия. Если в них есть еще и алгебраические типы с паттерн-матчингом, это плюс.

Nemerle.

Я просил два.

Хоть он и не чисто императивный

Он вообще-то гибридный (как и Окамль)

никто не запрещает писать в императивном стиле.

Ну да, еще на Хаскеле можно в императивном стиле лабать и вообще он лучший в мире императивный язык.

tailgunner ★★★★★ ()
Ответ на: Re: Вышла новая версия компилятора MLton от power

>> императивные языки (хотя бы два), в которых есть лямбды, карринг, хвостовая рекурсия.

CL подойдет?

Формально да, по сути - нет (нужна статическая типизация, как в ML). Кроме того, разве в CL есть гарантии по поводу хвостовой рекурсии? Потому что без гарантий и Питон подойдет :)

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

> я не про ЧСВ писал, если ты не понял.

Я тоже, если ты не понял.

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

>Так пишут только пионеры, для которых С++ - это «Си с классами». Лучше через запятую. Больно разные языки

Ага, просто вообще ничего общего!

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

Ну, это два сильно разных языка. Впрочем, против нотации C/C++/Java/C#/D не возражаю ;)

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

А в каком это императивном языке есть работающая хвостовая рекурсия? Ну, так, чтобы это было именно хвостовой рекурсией, со всеми присущими ей оптимизациями?

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

> А в каком это императивном языке есть работающая хвостовая рекурсия? Ну, так, чтобы это было именно хвостовой рекурсией, со всеми присущими ей оптимизациями?

D?

vladimir-vg ★★ ()
Ответ на: комментарий от tailgunner

Вброс: в СL есть [опционально, но по стандарту] статическая типизация :)

Насчёт гарантий TCO - таковых нет, но если любая нормальная реализация её предоставляет, то какие могут быть сомнения?

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

А в каком это императивном языке есть работающая хвостовая рекурсия?

scheme?

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

>Очередной недоязычок для небыдла, не имеющий реальных применений? Есть же C, C++ и Perl.

С вами был голос из 90х.

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

>Потому что нормальный пользовательский интерфейс на труЪ-ЯП ты писать затрахаешься.

С какой это стати?

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

> Потому что нормальный пользовательский интерфейс на труЪ-ЯП ты писать затрахаешься.

Tcl. ТруЪ? Вполне.

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

Tcl. ТруЪ? Вполне.

Я сказал «нормальный пользовательский интерфейс», а не «пользовательский интерфейс для престарелых идейных некрофилов со зрением -6» =).

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

> Я сказал «нормальный пользовательский интерфейс», а не «пользовательский интерфейс для престарелых идейных некрофилов со зрением -6» =).

Tk же уже, вроде бы, давно умеет выглядеть нормально.
Пруф датирован аж 2006 годом: http://www.linux.org.ru/gallery/screenshots/1478170

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

> А в каком это императивном языке есть работающая хвостовая рекурсия? Ну, так, чтобы это было именно хвостовой рекурсией, со всеми присущими ей оптимизациями?

Кастуешь схемеров? :)

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

Неа, с вырвиглазным, императивно-алгоритмическим выводом типов в парочке реализаций :)

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