LINUX.ORG.RU

Вышел UHC 1.0.0

 ,


0

0

Utrecht Haskell Compiler (UHC) - компилятор языка Haskell, поддерживающий практически весь стандарт Haskell98 плюс некоторые экспериментальные расширения; является развитием проекта EHC (Essential Haskell Compiler) университета Утрехта.

Специфические возможности UHC:

  • Пять различных бекэндов, включая интерпретаторы байткода (Java, CLR); в процессе разработки бекэнд к LLVM.
  • Экспериментальные расширения языка, некоторые из которых прежде не были нигде реализованы.
  • Реализация с использованием атрибутных грамматик и прочих высокоуровневых средств синтаксически управляемой трансляции.
  • Возможность экспериментировать с различными вариантами языка благодаря аспектно-ориентированному устройству компилятора.

Описание доступных бекэндов: http://www.cs.uu.nl/wiki/bin/view/Ehc/EhcUserDocumentation#4_6_Fully_functional_backends/

Описание расширений Haskell98: http://www.cs.uu.nl/wiki/bin/view/Ehc/EhcUserDocumentation#3_Language_extensions_and_differ

Структурное описание EHC: http://www.cs.uu.nl/wiki/bin/view/Ehc/EhcStructureDocumentation

Исходники доступны для *NIX-систем, MacOS X и Windows (via Cygwin).

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

★★★★★

Проверено: Shaman007 ()
> Исходники доступны для *NIX-систем, MacOS X

Ну все! Качаю и ставлю. Буду умным, как Профессор.

PS. MacOS X не Юникс-система? Что такое "MacOS X"? Знаю систему с именем "Mac OS X". Таки 100% Unix.

Bioreactor ★★★★★
()
Ответ на: комментарий от Bioreactor
>MacOS X не Юникс-система?

ребятам из университета Утрехта захотелось упомянуть её отдельно - в чём проблема-то?

jtootf ★★★★★
() автор топика
Ответ на: комментарий от Bioreactor
> Знаю систему с именем "Mac OS X". Таки 100% Unix.

Ярлык интересует только манагеров. Технарей интересует совместимость с Линукс :-P

tailgunner ★★★★★
()
Кстати о совместимости... много ли исходников, которые компилируются GHC, но не UHC?
tailgunner ★★★★★
()
Я так понял, что для использования хаскелля, сначала надо основательно заботать математику. Матан, лямбда-исчисление, теорию категорий и т.д., а иначе хрен поймешшь эти монады, функторы, стрелки и прочую хренотень. ИМХО лучше использовать лисп, там как-то все более кондово, и попонятней.
Sun-ch
()
>в процессе разработки бекэнд к LLVM

Да, млин, это вам не M$ Research с его GHC. Если хаскелевский рантайм по-настоящему отладят, то его можно будет использовать в серьезных проектах.

Macil ★★★★★
()
Ответ на: комментарий от Sun-ch
>Я так понял, что для использования хаскелля, сначала надо основательно заботать математику.

Зачем так грубо. Нужно просто свернуть себе моск. На меня, например, просветление снизошло, когда я попытался скомбинировать Error (которая Either) со State и IO.

Macil ★★★★★
()
А чё за файлики с расширением .chs?
Это типо .c + .hs?

Исходники компилера в этом формате валяются.
Valdemard
()
Очень хорошая новость.
Попробую написать на нем музыкальный плеер.

Ребята, а биндинги phonon к нему есть?
codeine-man
()
Ответ на: комментарий от Macil
> Нужно просто свернуть себе моск.

Что это значит и насколько это больно? :) Собственно, меня останавливает то же, что и саныча. Опасения, что без серьезной математической математической подготовки там делать нечего. Опять же, наверняка есть куча подводных камней, связанных с ленивостью.

a3
()
Ответ на: комментарий от a3
> Опасения, что без серьезной математической математической подготовки там делать нечего.

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

Мы поняли.
Мы поняли.
codeine-man
()
Ответ на: комментарий от a3
Да, когда мне начинают расскзывать насколько крут хаскелль, прошу объяснить, чем эпистрелка отличается от изострелки.
Sun-ch
()
Ответ на: комментарий от codeine-man
> Слово "математической" повторили чтобы до нас дошло насколько серьезной должна быть подготовка?

lol, я иногда заговариваюсь :)

a3
()
Ответ на: комментарий от a3
> lol, я иногда заговариваюсь :)

Тревожный знак. Волосы на ушах еще не начали расти? А в носу не посидели?
codeine-man
()
Ещё один "практически хаскел", надеюсь история со скимами не повториться.
vasdi
()
Ответ на: комментарий от imp
Кроме дарца ничего мой apt-cache search не нашёл. Можно что-нибудь такое, на что _действительно_ можно посмотреть? Какая-нибудь мелкая и полезная утилита, например.
mamay_cozak
()
Ответ на: комментарий от madcore
>А что там за вещества отсыпаны?

сахарок. из кратера Ричи. рекомендую!

jtootf ★★★★★
() автор топика
Ответ на: комментарий от mamay_cozak
> Какая-нибудь мелкая и полезная утилита, например.

Угребищное поделие dfsbuild

tailgunner ★★★★★
()
Очередной Неуловимый Джо 8))
V0ID ★★★
()
Ответ на: комментарий от Sun-ch
Со свиным рылом в чужой монастырь (troll harder!). Что ж, на вас вполне похоже.
env ★★☆
()
Ответ на: комментарий от Bioreactor
>> Технарей интересует совместимость с Линукс :-P

> http://www.finkproject.org/ :)

"We modify Unix software so that it compiles and runs on Mac OS X ("port" it)". Отличный Unix эта ваша Mac OS X - на нее Unix-приложения приходится _переносить_ :D

tailgunner ★★★★★
()
Ответ на: комментарий от tailgunner
Скажу по секрету - некоторые приложения приходится переносить с Intel на Sparc. А еще есть много пауэрПиСи юзеров, особенно в Америкосии.

А еще есть приложения, которые надо переносить с GNU/Linux на GNU/Linux. Wmaker, например.

Bioreactor ★★★★★
()
Ответ на: комментарий от Bioreactor
> А еще есть приложения, которые надо переносить с GNU/Linux на GNU/Linux

Да понятно это всё. Но fink занимается переносом Unix -> Mac OS X, несмотря на то, что Mac OS X - трижды насквозь Unix. Вот и возникает вопрос - какой смысл в этом ярлыке?

tailgunner ★★★★★
()
Ответ на: комментарий от Place-des-Arts
В нашем университете ничего не пишут :). Судя по рассказам молодых доцентов, втихаря облизываются на Эрланг и пишут на Яве/C#.
rexadecimal
()
Ответ на: комментарий от imp
>>Что это значит и насколько это больно? :)

>http://www.haskell.org/haskellwiki/Blow_your_mind

"There should be one-- and preferably only one --obvious way to do it". (с)

Как жаль, что Хаскель не придерживается этйо идеологии. Меня отпугивает то, что язык содержит огромное кол-во синтаксических конструкций. Легко писать код, который будет выглядеть бессмыслицей даже для опытных хаскелистов. Это путь в никуда, я считаю. Мы это уже проходили с пеплом.

xap4o
()
Ответ на: комментарий от xap4o
Синтаксических конструкций не так уж много. Или пугает разнообразие приёмов решения одной задачи? Так ведь даже математические задачи для 3го класса решаются двумя-тремя и более способами.
unC0Rr ★★★★★
()
Ответ на: комментарий от unC0Rr
>Синтаксических конструкций не так уж много

С каким языком будем сравнивать? По-моей грубой оценке в яве, питоне и эрланге их в 5-10 раз меньше.

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