LINUX.ORG.RU
 
pitekantrop

Вышел 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.

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


 ← 1 2 3 4 5 →
[#]  
>>-----Цитата---->>

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

<<-----Цитата----<<

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

** ()
[#]  
aptyp

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

** ()
[#] Ответ на: комментарий от aptyp 04.02.2012 11:00:25  
northerner
>>-----Цитата---->>

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

<<-----Цитата----<<

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

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

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

** ()
[#]  

Отличная новость!

* ()
[#]  
>>-----Цитата---->>

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

<<-----Цитата----<<

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

anonymous ()
[#]  
encyrtid
>>-----Цитата---->>

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

<<-----Цитата----<<

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

** ()
[#] Ответ на: комментарий от anonymous 04.02.2012 11:20:47  
(Eq, a, Show a, Num a) =>

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

anonymous ()
[#]  

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

anonymous ()
[#]  

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

anonymous ()
[#]  

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

anonymous ()
[#] Ответ на: комментарий от anonymous 04.02.2012 12:24:22  

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

anonymous ()
[#]  
buddhist

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

*** ()
[#] Ответ на: комментарий от anonymous 04.02.2012 12:24:22  
buddhist
>>-----Цитата---->>

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

<<-----Цитата----<<

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

*** ()
[#] Ответ на: комментарий от anonymous 04.02.2012 12:24:22  

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

anonymous ()
[#] Ответ на: комментарий от buddhist 04.02.2012 12:37:01  
>>-----Цитата---->>

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

<<-----Цитата----<<

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

anonymous ()
[#] Ответ на: комментарий от anonymous 04.02.2012 12:39:40  
buddhist

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

*** ()
[#]  
buddhist

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

*** ()
[#] Ответ на: комментарий от buddhist 04.02.2012 12:43:20  

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

anonymous ()
[#] Ответ на: комментарий от loz 04.02.2012 9:23:50  

Хаскель можно транслировать в C.

()
[#] Ответ на: комментарий от anonymous 04.02.2012 12:29:40  
>>-----Цитата---->>

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

<<-----Цитата----<<

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

anonymous ()
[#] Ответ на: комментарий от buddhist 04.02.2012 12:37:01  
aptyp

Они реально там суперкомпилятор делают, или ты по этому поводу всё-таки троллишь?)

** ()
[#]  

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

anonymous ()
[#] Ответ на: комментарий от anonymous 04.02.2012 13:17:25  

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

anonymous ()
[#]  
Reset

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

***** ()
[#] Ответ на: комментарий от aptyp 04.02.2012 13:04:08  
buddhist

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

*** ()
[#] Ответ на: комментарий от buddhist 04.02.2012 13:36:17  
aptyp

А у кого это "у нас"?

** ()
[#]  

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

** ()
[#] Ответ на: комментарий от anonymous 04.02.2012 13:02:14  
>>-----Цитата---->>

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

<<-----Цитата----<<

Дело говоришь

* ()
[#]  
>>-----Цитата---->>

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

<<-----Цитата----<<

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

* ()
[#] Ответ на: комментарий от power 04.02.2012 14:21:19  

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

anonymous ()
[#] Ответ на: комментарий от northerner 04.02.2012 11:11:11  

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

anonymous ()
[#] Ответ на: комментарий от anonymous 04.02.2012 14:51:36  
>>-----Цитата---->>

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

<<-----Цитата----<<

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

* ()
[#] Ответ на: комментарий от Reset 04.02.2012 13:25:10  
>>-----Цитата---->>

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

<<-----Цитата----<<

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

anonymous ()
[#]  

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

anonymous ()
[#]  

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

anonymous ()
[#]  

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

anonymous ()
[#] Ответ на: комментарий от encyrtid 04.02.2012 11:53:08  
pitekantrop
>>-----Цитата---->>

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

<<-----Цитата----<<

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

*** ()
[#] Ответ на: комментарий от malbolge 04.02.2012 15:51:29  

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

anonymous ()
[#] Ответ на: комментарий от aptyp 04.02.2012 13:38:57  
buddhist

Институт программных систем РАН

*** ()
[#] Ответ на: комментарий от anonymous 04.02.2012 12:24:22  
>>-----Цитата---->>

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

<<-----Цитата----<<

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

anonymous ()
[#]  

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

* ()
[#] Ответ на: комментарий от anonymous 04.02.2012 15:45:53  
>>-----Цитата---->>

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

<<-----Цитата----<<

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

* ()
[#] Ответ на: комментарий от northerner 04.02.2012 11:11:11  
>>-----Цитата---->>

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

<<-----Цитата----<<

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

* ()
[#] Ответ на: комментарий от buddhist 04.02.2012 12:43:20  
umren

мне кажется хаскелль навсегда и останется академическим языком

* ()
[#] Ответ на: комментарий от umren 04.02.2012 17:23:52  
buddhist

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

*** ()
[#] Ответ на: комментарий от Reset 04.02.2012 13:25:10  
dave
>>-----Цитата---->>

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

<<-----Цитата----<<

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

***** ()
 ← 1 2 3 4 5 →
OpenSource