LINUX.ORG.RU

GHC 8.2.1

 ,


1

5

Вышла новая версия компилятора Glasgow Haskell Compiler.

Среди изменений:

  • улучшение производительности компилятора;
  • улучшена поддержка генерации отладочных символов в формате DWARF;
  • в рантайм языка добавлена поддержка систем с NUMA;
  • более широкая поддержка полиморфизма относительно типа хранения данных (levity polymorphism);
  • поддержка оптимизации точек соединения (join points) в коде, позволяющая в некоторых случаях сильно увеличить производительность;
  • новая система модулей Backpack, добавляющая новые широкие возможности абстракции кода от конкретных типов данных;
  • поддержка компактных регионов памяти (compact regions), позволяющая увеличить производительность сборщика мусора;
  • компилятор теперь может выдавать цветные сообщения об ошибках;
  • начальная поддержка архитектуры AArch64;
  • улучшена воспроизводимость сборок;
  • многочисленные изменения в Template Haskell.

Помимо этого, прекращена сборка 32-битных пакетов под CentOS 6, а также начата официальная сборка GHC под FreeBSD и OpenBSD для архитектуры amd64.

>>> Скачать

>>> Release Notes

★★★★

Проверено: jollheef ()
Ответ на: комментарий от xmikex

сейчас имена символов в интерфейс файлах не гарантируются одинаковыми при параллельной сборке, что было проблемой для nixos и требовало того, чтобы собирать пакеты в один поток. сейчас исправлено.

qnikst ★★★★★ ()

Хаскель это такая вещь в себе. Сейчас ценность языка определяется, прежде всего наличием качественным фреймворков и библиотек, синтаксис второстепенен.

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

Сейчас ценность языка определяется, прежде всего наличием качественным фреймворков и библиотек

Для Rust, например, нет ни качественных, ни фреймворков, ни библиотек, но тем не менее толпы людей пытаются его повсюду применять.

Я не хочу сказать, что Rust — плохой язык. Просто контрпример.

hateyoufeel ★★★★ ()
Последнее исправление: hateyoufeel (всего исправлений: 1)
Ответ на: комментарий от hateyoufeel

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

Не про голанг речь.

не сильно жирный
Minimal installers
OS X
Haskell Platform 8.0.2 Minimal 64bit-signed.pkg
238 МБ
Minimal

ПУТИ ВСЁ ЕЩЁ НЕТ

А в место, что занимает установщик Haskell Platform Full под шиндошс, можно разместить 3 полных поставки SWI-Prolog под тот же шиндошс.

HaskellPlatform-8.0.2-a-full-x86_64-setup.exe
239 МБ

Имеется установленный HaskellPlatform-8.0.2-a-minimal-x86_64-setup.exe.

HaskellPlatform-8.0.2-a-minimal-x86_64-setup.exe
210 МБ

А сабж

C:\Program Files\Haskell Platform
1.62 ГБ

Делим, получаем 25 полных поставок SWI-Prolog.

О-о-о-очень не жирно.

Под линукс сами посчитаете, мне уже не желается.

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

Да легко. То, что куча библиотек для твоего удобства поставляется вместе с компилятором, не значит, что ты не можешь воспользоваться голым компилятором, чтобы скомпилить своё приложение с этими же либами.

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

А ты мастер сравнивать жопу с пальцем.

Ты, я так понял, SWI-Prolog даже не тыкал.

Надо было уточнить, что я имел ввиду количество строк в исходном коде.

Т. е. в хаскеле их очень мало, но они по неведомым причинам превращаются в 80-мегабайтные бинарники?

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

Ты, я так понял, SWI-Prolog даже не тыкал.

Пролог ещё не умер?

Т. е. в хаскеле их очень мало, но они по неведомым причинам превращаются в 80-мегабайтные бинарники?

В ghc примерно столько же строк кода, сколько в компиляторе голанга. И они по вполне объяснимым и понятным причинам превращаются в 80-мегабайтные бинарники.

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

Пролог ещё не умер?

SWI-Prolog ещё нет.

Stable release
7.4.2 / 18 April 2017; 3 months ago
Preview release
7.5.11 / 11 July 2017; 13 days ago

И они по вполне объяснимым и понятным причинам превращаются в 80-мегабайтные бинарники
они
go.exe
9.53 МБ

?

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

SWI-Prolog ещё нет.

Это какой-то особый пролог с особой магией?

?

Ну и? Ты сейчас телепатически пытаешься свой вопрос мне в голову вложить?

hateyoufeel ★★★★ ()
Последнее исправление: hateyoufeel (всего исправлений: 1)
Ответ на: комментарий от awesomelackware

Почему в нём должна быть особая магия?

Потому что обычный пролог слегка мёртв.

Компилятор хаскела как-то больше места занимает.

Да, так и есть, но это не вопрос. Или ты знак вопроса для чего-то кроме вопросительных предложений привык использовать?

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

Обычный это какой-такой?

Обычный — это без особой некромагии.

Так чего ж в них столько же кода, но размер совсем разный?

Отлично, ты научился озвучивать свои вопросы. Это прогресс, чувак!

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

Соответственно, если ты пересоберёшь всё с динамической линковкой и сделаешь strip, бинарники будут весить гораздо меньше.

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

Которая заставляет людей использовать пролог.

https://ru.wikipedia.org/wiki/Декларативное_программирование
https://ru.wikipedia.org/wiki/Логическое_программирование

Не «некро-».

Ты хочешь выразить некую идею, но не понимаешь как?

А ты будешь весь тред притворяться болванчиком, который понимает всё только в прямом смысле?

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

Не «некро-».

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

А ты будешь весь тред притворяться болванчиком, который понимает всё только в прямом смысле?

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

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

Речь шла именно о конкретном языка программирования.

И что, пролог не нужно юзать, потому что он пролог?

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

То есть ты не притворяешься и такой есть?
Где ты в

/0

Увидал хотя бы вопросительный знак?

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

И что, пролог не нужно юзать, потому что он пролог?

Нет, потому что он мёртв. Для фаната пролога у тебя очень плохо с рекурсией.

Увидал хотя бы вопросительный знак?

Это отдельное предложение?

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

Нет, потому что он мёртв.

Stable release
7.4.2 / 18 April 2017; 3 months ago
Preview release
7.5.11 / 11 July 2017; 13 days ago

Да где ж?

Для фаната пролога у тебя очень плохо с рекурсией.

А я уже фанат пролога?
И где ты рекурсию увидал?

Это отдельное предложение?

Нет, та строка должна начинаться не с прописной, но отредактировать не могу, швкору мало для этого.

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

Да где ж?

В практически полном отсутствии практического применения. Релизы FreePascal тоже регулярно выходят, но с тем, что pascal мёртв, спорить никто не будет.

И где ты рекурсию увидал?

В моих утверждениях относительно пролога. См. сепульки.

Нет, та строка должна начинаться не с прописной, но отредактировать не могу, швкору мало для этого.

Enlarge your score! Пока девки не засмеяли.

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

В практически полном отсутствии практического применения

Т. е. хаскель тоже мёртв, вакансий хаскель-программистов я не видел в последнее время.
Ну и лисп тоже.

В моих утверждениях относительно пролога.
См. сепульки.

См. рекурсия.

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

Есть вакансии → есть необходимость → есть применение.

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

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

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

Тоже применение же.
Как только всё легаси будет переписано с пролога на что-то более модно, а все вакансии пролог-программистов исчезнут, тогда да, на нём будут программировать только люди вроде меня, интересующиеся и штуденты.

awesomelackware ()