Glasgow Haskell Compiler 9.12.1

Решил загуглить на тему «haskell Backend», и вот, по первой ссылке на реддите:

Писал на Хаскелле 10 лет, но пару лет назад переключился на ТайпСкрипт для фуллстека

на реддите

Ну ты понял.

Поддержка многострочных строковых литералов через специальный синтаксис: """строка"""

А что для этого раньше использовали? TH?

Ну хоть после этого на ТайпСкрипт будет нормально писать :) Удачи ему!

Объясните что такое монада. Везде пишут что это буррито. Ничего не понимаю.

GhcUp до сих пор 9.4.8 рекомендует. Уж даже не знаю почему...

Монада = контейнер.

https://ru.wikipedia.org/wiki/Монада_(программирование)

Монады чаще всего используются в функциональных языках программирования. При ленивой модели вычисления порядок редукции неизвестен. Например, вычисление 1 + 3 + 6 может быть редуцировано в 1 + 9 или 4 + 6. Монады позволяют упорядочить редукцию. Поэтому существует ироничное утверждение, что монады — это способ перегрузить оператор «точка с запятой».

Монада является контейнером, который хранит в себе значение произвольного типа. Она должна обладать функцией связывания (bind), которая принимает два аргумента: текущее значение монады и функцию, принимающую значение типа, который содержит текущая монада и возвращающая новую монаду. Результатом вызова функции связывания будет новая монада, полученная путём применения первого аргумента ко второму.

Конкатенацию на месте, например.

Это моноид в категории эндофункторов.

Объясните что такое монада

Монада это моноид в категории эндофункторов.

Монада = контейнер.

Не просто контейнер, а контейнер с определённым интерфейсом, который является моноидом и апликативом, и соответствует монадозаконам.

Монада — это моноид в категории эндофункторов. Что не ясно-то? :)

xmonad знаю. монаду нет

Поддержка многострочных строковых литералов через специальный синтаксис: «««строка»»»;

Надо же, хаскель ворует у Питона.

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

Что там с суперкомпиляцией?

Дяди Джабраила на них нет, в исполнении Мкртчяна!

Ага

- Папа, что такое сложение?
- Сложение — бинарная коммутативная ассоциативная операция на декартовом произведении гиперкомплексных чисел.

Нет.

декартовом произведении гиперкомплексных чисел

Чо, только там что-ли? :) Или тебе сложение в целочисленных кольцах уже не операция?

Сказал бы проще, Сложение — это бинарная операция в алгебре над некоторым множеством со следующими свойствами... :)

так тонко что аж толсто, пять балловдва чая.

емнип, они её реализовали в каком то виде пару-тройку лет назад, но работает жутко медленно, п джонс говорил емнип.

А сложение – это аналитическое понятие или синтетически-априорное?

А зачем?

Турчина покойного вспомнил (светлая ему память)? Что они там суперкомпилировали? Pattern matching?

А это кого читать. У Бурбаков вообще частный случай закона композиции. Посему, наверное, априорно-синтетическое.

Где и как это у Уайтхеда с Расселом можете самостоятельно найти, потом мне расскажете. Мне дюже интересно :)

Где и как это у Уайтхеда с Расселом можете самостоятельно найти, потом мне расскажете. Мне дюже интересно :)

У меня этот трёхтомник в бумаге есть. Но, честно говоря, я не осилил так много букв.

Что они там суперкомпилировали? Pattern matching?

Немного не в тему, но в GHC есть офигенная штука под названием rewrite rules. Можно задать компилятору паттерны в коде, которые можно преобразовать в другие паттерны. В результате, дохренища оптимизаций пишутся не внутри GHC, а на вот на этом недомакроязычке, причём библиотеки могут поставлять свой набор оптимизаций для своего API.

На практике это выглядит примерно вот так:

{-# RULES
   "map fusion" forall f g. map f . map g = map (f . g)
#-}

Здесь два вызова map (т.е. два цикла прохода по списку) будут соединены в один.

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

да, Турчина. Где-то Пейот Джонс даже вспоминая Турчина жаловался, что де о технологии никто не знал вообще.

Что до паттерн матчинга, то кажется я встречал где то того же Джонса что суперкомпиляция это дефорестрация + частичное исполнение. Это конечно упрощённое понимание, но какую то суть оно передаёт.

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

Но я давно интересовался (лет 5 как), могу что то путать.

ЗЫ. Вообще у Сергея Романенко на гитхабе есть примерчики простых суперкомпиляторов. Вот например https://github.com/sergei-romanenko/spsc-scala

В чём разница между суперкомпиляцией и инлайнингом с вычислением во время компиляции, как делают компиляторы C/C++?

За 30 лет на хачкеле написали хоть что-нибудь полезное?

Мне известно два шедевра — Pandoc и Matterhorn ()https://github.com/matterhorn-chat/matterhorn), консольный клиент для матермоста.

Чот, сдается мне, что они что-то типа препроцессора придумали. Сишным #define повеяло :)

Ну так там, по слухам, тот факт, что 1 + 1 = 2 доказывается где-то на семьсот какой-то странице с комментарием, что этот результат может иметь некий практический смысл. :)

Но, честно говоря, я не осилил так много букв.

Буквы там не главное, но то, что там не буквы осилить гораздо труднее :)

Монада — это категория, обогащенная бикатегорией с одним объектом и одним морфизмом.

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

Как я понял, суперкомпилятор пытается преобразовывать алгоритм с использованием знаний об аргументах. Типа сортировку массива из нескольких элементов он заинлайнит в набор сравнений без цикла.

Еще один способ объяснить неизвестное непонятным?

Эк ты моноид-то обозвал.

Типа сортировку массива из нескольких элементов он заинлайнит в набор сравнений без цикла.

Так я про это же. В gcc уже такое сплошь и рядом. А в Haskell, насколько я помню, учёт констант идёт только слева. В смысле f x y 1 оптимизироваться не будет, а в f 1 x y скомпилирует f 1, которую применит к остальным параметрам.

Чот, сдается мне, что они что-то типа препроцессора придумали. Сишным #define повеяло :)

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

Так он и монадные законы на инстансах не проверяет. Не той системы гранаты у него.

Ну, значить, темплейты :)

Интересно а вообще на хачеле хоть что то полезное написали?

На лиспах и МЛ-оидах полным полно.

См. выше.

Да. Не много.

Если однажды мне станет скучно жить я предпочту ml-оид

Да на здоровье. Хоть Фа-диез, ака Эф-шарп :)

[не очень разбираюсь в теме, плюс по памяти, могу врать, прошу прощения за неточности, лучше читать здесь https://sergei-romanenko.github.io/scp-notes-ru/]

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

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

В некотором смысле суперкомпилятор упрощает программы. Причём этот смысл очень близок к человеческому пониманию слова «упрощает».

Я понимаю, но предвосхищая вопросы Bad_ptr спрошу сразу.

Что не ясно-то?

Что такое моноид? Что такое категория? Что такое эндофунктор (и функтор)?

У нас на раене за такие слова можно в пятак получить. А если про гомоморфность заикнуться…

Моноид — полугруппа с единицей Эндофунктор - функтор, отображающий категорию в себя (автоморфизм) Функтор — отображение, сохраняющее структуру. Категория — пара из набора объектов и набора отображений (морфизмов) с законом ассоциативности.

Ну, собственно, и все. Учите теорию категорий и будет ВАм Щастье!