Компилятор GHC языка Haskell: теория языков программирования в работе

Спасибо за новость. Интересный и нужный курс. Haskell рулит!

{-# LANGUAGE ExistentialQuantification #-}
data Foo = forall a. Foo a
ignorefoo f = 1 where (Foo a) = f

Поминания — это звучит символично. Хаскель поминания.

Это хорошо.

С GHC надо что-то делать с системной стороны. Там много legacy и работы.

Как он поставляеться и работает... Использование внутренних дубликатов утилит и библиотек. Он ведет себя как Виндовая программа - тянет с собой кроме компилятора ещё целый табор и зоопарк, который потом конфликтует с установленными на системе нужными тебе инструментами.

GHC хорош, очень хорош, особенно с его возможностями code inlining, которым можно управлять

Что за возможности? Где про это почитать? Ну кроме исходников компилятора.

Видеозаписи будут?

Возможно, речь идет о rewrite rules https://wiki.haskell.org/Playing_by_the_rules

Обычно снимают и выкладывают.

Надо бы съездить. Вот уже пошел дешевую гостиницу на одну ночь искать...

Там Сокос недалеко.

Haskell

ПОМИ РАН

эта аватарка со смертью

Символичненько!

Не совсем. Речь скорее о прагмах INLINE и INLINABLE и задаваемых им приоритетах.

Я нашел что-то на Невском, сейчас групон кучу скидок предлагает.. Поезд, сцуко дороже :)

Хорошая новость! Видеозаписи будут?

Открой для себя stack.

Компилятор GHC языка Haskell: теория языков программирования в работе (комментарий)

Спасибо за новость! С нетерпением ждём видео!

Где почитать? Прямо такой статьи не видел.

А так, GHC очень хорошо инлайнит код. В Haskell до фига абстракций, и компилятор GHC очень хорошо оптимизирует код, часто почти полностью нивелируя отрицательный эффект от использования таких высокоуровневых абстракций.

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

В Haskell практически тотальная ссылочная прозрачность. Короче говоря, за исключением явных ссылок и изменяемых массивов, старые объекты никак не могут ссылаться на новые объекты. По словам разработчиков это дает огромное преимущество сборщику мусора. Система времени исполнения GHC способна переваривать гигабайты кратко-живущих объектов, на что собственно и рассчитан сборщик мусора.

Тут сразу замечу, что в Haskell есть и элементы строгих вычислений, а не только ленивость и thunks, если кто станет переживать по этому поводу.

В общем, со всем этим я много раз сталкивался в своей практике, занимаясь имитационным моделированием на Haskell

Идею понял, но мне это не интересно: я думал, вдруг можно что-то перетащить в clang, а тут не тот случай)

«Ну кроме исходников компилятора» Как бы более достоверной информации и нет в нашей профессии...

Ну а если дело принципа не читать исходник то.. информация на википедии есть и 100 сайтов, гугл вам в помощь.

GHC очень хорошо инлайнит код.

Лучше, чем HotSpot JVM?

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

Например, если у функции есть ограничения по параметрическим классам типов, то такую функцию желательно снабдить прагмой INLINABLE или иногда INLINE. Это приведет к тому, что псевдокод исходной функции будет зашит в бинарной библиотеке (чем-то аналогично атрибуту ReflectedDefinition в F#).

Потом, при использовании соответствующей бинарной библиотеки из приложения или какой совсем другой библиотеки для исходного кода той самой функции может произойти inlining на этапе компиляции.

В Scala и Java есть похожие штуки, но я их особо не щупал в отличие от описанной возможности в Haskell, которая замечательно работает.

Ну, и вдобавок. В Haskell ссылочная прозрачность. А потому инлайнить можно совершенно безопасно и в любых количествах где-угодно и как угодно. Ничего подобного даже близкого нет ни в JVM, ни в Си в силу фундаментальных ограничений. А те немногие, кто используют вынужденно unsafePerformIO, должны часто использовать прагму NOINLINE

Как прошло? Видосы есть?

Запись по крайней мере велась.

Вы так говорите, как будто никогда не слышали об оптимизирующих компиляторах.

Написал конфиг для хмонада и стал завзятым хаскеллистом?

Я убежден, что ты и половины не понял из того, что я написал

Вы заблуждаетесь.

Написал конфиг для хмонада и стал завзятым хаскеллистом?

Да, и это только начало. Занятный язык.

Это не только начало, но и конец одновременно :). Но я сожалею, что написал комментарий, потому что не заметил, что подняли тред едва ли не месячной давности. Не некропостинг, конечно, но флудилку лучше устраивать в реалтайме.

Видосы вышли: https://youtu.be/DS0dgYVnHy4

Спасибо!