LINUX.ORG.RU

Вышел GHC 7.4.1

 , ,


0

3

Вышел GHC 7.4.1 – новый релиз компилятора функционального языка программирования Haskell. Это первый релиз стабильной ветки 7.4, которая станет основой для будущих версий платформы Haskell. Предыдущая ветка 7.2 была скорее полигоном для новых идей.

Основные изменения по сравнению с веткой 7.0:

  • Класс типов Num более не наследуется от классов Eq и Show. Как следствие, многие функции получили явные ограничения Eq и Show.
  • Новая возможность Safe Haskell (-XSafe, -XTrustworthy, -XUnsafe). Позволяет ввести более строгую проверку безопасности типов во время компиляции, а также служит для компиляции и выполнения «ненадёжного» кода.
  • Новая возможность полиморфизм видов (kind polymorhphism) (-XPolyKinds).
  • Новая возможность виды-ограничения (constraint kinds) (-XConstraintKinds). Любой тип вида Constraint может использоваться как ограничение типа.
  • Теперь можно задавать любые объявления в строке ввода ghci.
  • Реализации профилирования и hpc (проверки покрытия кода программ) были объединены и капитально переработаны.
  • Теперь можно писать плагины для компилятора.
  • Поддержка DPH (Data Paralell Haskell) значительно улучшена.
  • Предварительная поддержка регистровой (registerised) компиляции для платформы ARM, использующей LLVM.

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

★★★

Проверено: maxcom ()
Последнее исправление: pitekantrop (всего исправлений: 1)

Предварительная поддержка регистровой (registerised) компиляции для платформы ARM, использующей LLVM.

На хаскеле можно будет писать под андроид?

loz ★★★★★
()

Видел тред на первой странице.
Рад за хаскелл, но никак не могу найти время потыкать его, да и не вижу пользы на практике моей.

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

Видел тред на первой странице.

На первой и единственной странице.

Тысячи языков, километры простыней кода и литров кофе, потраченных на создание трансляторов. Для нескольких сотен пользователей. Распыление усилий в IT последнее время раздражает.

P.S. Считать это толстым вбросом для оживления дискуссии ;)

northerner ★★★
()

Класс типов Num более не наследуется от классов Eq и Show.

А как теперь сравнивать и выводить числа?

anonymous
()

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

Это, ЕМНИП, было доступно в ветке 7.2.

encyrtid ★★★★★
()
Ответ на: комментарий от anonymous
(Eq, a, Show a, Num a) =>

отделили мух от котлет.

anonymous
()

Уже 2 дня как. Сам думал новость писать, но не умею я и лень. Обновляться можно, если не боитесь отсутствия кабалинстала. Yesod к нему готов.

anonymous
()

Очень важный (в области PolyKinds, ConstraintKinds, advanced ghci [теперь это полноценный repl] и DPH) релиз. Язык стал выразительнее и быстрее, более удобен в использовании (repl), а DPH позволяет ему соревноваться с суровыми промышленными библиотеками-числодробилками.

anonymous
()

Вещи вроде bounded monad до этого релиза можно был сделать только через дикие извращения, теперь, с ConstraintKinds это делается одной строчкой.

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

Ага. Пару месяцев назад когда он только появился я уже понял, что если юзать хаскель, то только начиная с 7.4.

anonymous
()

Троллить по поводу жручести не буду, вроде пофиксили. В каком там состоянии суперкомпилятор?

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

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

Он все равно на ту же gmp завязан.

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

пример к «быстрее»: наш соотечественник пособирал свою computationally-intensive софтину (обрабатывает и визуализирует большие объемы логов) на 7.4 и получил ускорение до 30%, http://comments.gmane.org/gmane.comp.lang.haskell.cafe/95647

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

В каком там состоянии суперкомпилятор?

Суперкомпилятор тяжелая штука, чтобы она не выдавала километры специализированного кода, нужно ее хорошо допиливать. В процессе, вроде как.

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

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

buddhist ★★★★★
()

А вообще, ожирение языка и переполнение его фичами угнетает. Я очень понимаю тех, кто голосовал против R6RS, боясь, что Scheme превратится в то же самое. Тут уж хаскелистам надо решить, нацелены они на реальное использование языка, или же он пытается собрать все передовые подходы в ФП со статической типизацией.

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

Подход такой, что сам язык держится минимальным, а в расширениях для компилятора реализуются передовые подходы. Их использование включается прагмами или опциями компилятора. Т.е. можно писать на минималистичном хаскелле98, можно собрать себе из опций монстра при желании. Область еще открыта исследованиям и без проверки передовых подходов никак - некоторые оказываются удачными.

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

Ага. Пару месяцев назад когда он только появился я уже понял, что если юзать хаскель, то только начиная с 7.4.

Лучше подождать выпуска новой haskell-platform.

anonymous
()

Хаскель стал сложнее самого себя. Язык должен быть решением, а не проблемой!

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

Проблема сложна. Вглядитесь пристальнее в следующий NPE.

anonymous
()

Меня всегда смущала буква g в названии этого продукта. Слава богам, она означает не gnu, но неприятный осадок всё равно есть.

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

Реально делают и мне интересно посмотреть на результат, потому что у нас еще не удавалось сделать практически пригодный суперкомпилятор, а не proof of concept.

buddhist ★★★★★
()

отличная новость! так победим!

ymn ★★★★★
()

Теперь можно задавать любые объявления в строке ввода ghci.

Только в версии 7.4.1? :/

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

Ага, раньше объявляли типы в файле, подгружали его в ghci и дальше пользовались как реплом.

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

А кому какое дело, что там раздражает какое-то тупое и безграмотное ничтожество с ламерского ЛОРа? Да, хацкель не нужен, как и 99.9999% остальных языков, но это не распыление усилий, это наука. Эволюция без видового разнообразия невозможна. В экосистеме должны быть не только львы (C++), но и черви (Лисп, хацкель).

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

В экосистеме должны быть не только львы (C++), но и черви (Лисп, хацкель).

…и опарыши (anonymous (04.02.2012 14:51:36))

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

Меня всегда смущала буква g в названии этого продукта. Слава богам, она означает не gnu, но неприятный осадок всё равно есть.

Логично. Предлагаю переименовать в WinHC.

anonymous
()

Дожили. Языки в честь сионистов называют, что ещё раз доказывает сионистскую сущность пиндосов.

anonymous
()

Судя по названию, язык кошерный. Раввин одобряэ.

anonymous
()

Что на этом вашем хацкеле такого написано, что доказало бы его нужность? Или это лишь ещё один способ потешить ЧСВ и попонтоваться в школе?

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

Это, ЕМНИП, было доступно в ветке 7.2.

Да, но вся ветка 7.2 — это, грубо говоря, 7.4 developer preview.

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

хакерская группировка anonymous.

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

DPH позволяет ему соревноваться с суровыми промышленными библиотеками-числодробилками.

Наглая ложь. Даже такой срани как ROOT сливает раз в 60.

anonymous
()

Это... это просто праздник какой-то!

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

Что на этом вашем хацкеле такого написано, что доказало бы его нужность? Или это лишь ещё один способ потешить ЧСВ и попонтоваться в школе?

А вот и неосиляторы подтянулись.

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

Тысячи языков, километры простыней кода и литров кофе, потраченных на создание трансляторов. Для нескольких сотен пользователей. Распыление усилий в IT последнее время раздражает.

Ты вообще не понимаешь слово «наука»?

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

Я тоже так думаю, но в этом и нет ничего плохого, такой язык очень нужен для обкатки разных фич и концепций. Просто некоторые упоротые личности пытаются представить его как Ъ-язык для продакшена.

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

Меня всегда смущала буква g в названии этого продукта. Слава богам, она означает не gnu, но неприятный осадок всё равно есть.

Раньше по-моему он назывался Glorious Haskell Compiler, но потом от такого выдающегося названия отказались.

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