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 ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.