Интересно. А то в ИТМО в этом году как раз одна студентка под руководством меня и @int_index писал бакалаврскую по теме реализации множеств типов в GHC. Видимо, в итоге в GHC пойдет работа другого человека...

Вы как плагин писали, как патч или как библиотеку?

Это демка была и там полно "это основы, дальше надо ещё 80% написать".

Вы как плагин писали, как патч или как библиотеку?

Патч прямо в GHC. В процессе реализации выяснилось, что как плагин не сделать нормально

Патч прямо в GHC. В процессе реализации выяснилось, что как плагин не сделать нормально

Можешь в двух словах сказать где затык в плагине?

Это демка была и там полно "это основы, дальше надо ещё 80% написать".

а что, по ненаписанному тоже можно доклады делать? а я корячусь

Можешь в двух словах сказать где затык в плагине?

Я точно не помню, могу приврать, но вроде как плагин умеет только с разрешение констрейнтов на тайпклассах работать, а нужно было уметь определять при помощи плагина type families Есть только обсуждение и предложение того, как это сделать, но этого еще не сделано https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker#Underdiscussion:Definingtypefamilies

это ты хорошо зашёл

Почти, DTLC.

а где трансляция?

или нет онлайн?

Вроде и не было ни разу. Тут же несколько залов.

Мораль: берите bound.

Мораль: берите bound.

об этом еще Кметт писал)

об этом еще Кметт писал)

Следствие: делайте ваше представление таким, чтобы можно было взять bound.

DTalC плохо с ним вяжется ):

Stephanie says "use unbound, maybe"

HFunctor

Арно говорит unfix-binders

Пацаны, как накатить последний кабал на убунту?

Мне для CI нужно

https://launchpad.net/~hvr/+archive/ubuntu/ghc

Не уверен, что это ещё актуально, но последний раз я так накатывал около полугода назад

Не уверен, что это ещё актуально, но последний раз я так накатывал около полугода назад

актуально

Мне для CI нужно

Если для Travis CI, то можно посмотреть пример в этом проекте. Там есть пример матрицы для разных GHC версий, сразу для stack и для cabal. Если интересует только одна билд-тула или только одна версия GHC, то можно просто удалить все лишнее https://github.com/kowainik/summoner/blob/master/.travis.yml

http://hackage.haskell.org/package/RoyalMonad-1000.9/docs/Control-Monad-Royal.html

Если для Travis CI, то можно посмотреть пример в этом проекте. Там есть пример матрицы для разных GHC версий, сразу для stack и для cabal. Если интересует только одна билд-тула или только одна версия GHC, то можно просто удалить все лишнее https://github.com/kowainik/summoner/blob/master/.travis.yml

Для круга, но спасибо

Следующий вопрос. Как отключить -Werror для файла?

{-# OPTIONS "-Wnoerror" #-} типа того

{-# OPTIONS "-Wnoerror" #-} типа того

А через кабал как-то? Файл генерируется

Через кабал нельзя, вроде

Плохо

Ладно отключу конкретный варнинг

Achievement unlocked: tell SPJ something he didn't know (Что через LSP можно собирать телеметрию)

Ужасный шрифт

В заголовке

Эти два шрифта вместе делают меня грустным

Почему у меня локально собирается, а на CI нет?

Почему у меня локально собирается, а на CI нет?

где-то что-то сломано

@dmhzxyz будет жить. Поприветствуем!

где-то что-то сломано

Починил

cabal: unrecognised command: new-exec (try --help)

Новые проблемы

cabal: unrecognised command: new-exec (try --help)

Кабал старый

Кабал старый

Это понятно, но инсталлирую я новый

Не подскажите, хорошая книга Christopher Allen, Julie Moronuki - Haskell programming from first principles?

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

Не подскажите, хорошая книга Christopher Allen, Julie Moronuki - Haskell programming from first principles?

https://medium.com/@_bravit/%D0%BA%D0%BD%D0%B8%D0%B3%D0%B8-%D0%BF%D0%BE-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8E-%D0%BD%D0%B0-haskell-%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4%D1%8B-712c1f5b7749

Господа, а как можно подебажить внешнюю библиотеку, с помощью GHCI?

Что есть внешнюю?

Которую я указываю в cabal build-depends

Можно скачать её сорцы и добавить свои тесты..

зачем её дебажить?

если в ней ошибка, то надо взять её исходник и отладить как свою

Внутри делается HTTP запрос, а я извне не могу посмотреть какой ответ был

wireshark/tcpdump?

Точно ?

Я совсем за него забыл

Для http есть ещё Chrome dev console (network tab), Fiddler (для Win)

А как я её на Haskell клиенте применю?

А. я думал, работаешь над web приложением.

Нет, у меня telegram-bot :)

Кстати, какие посоветуете хостинги/PaaS/SaaS-решения для Haskell приложения?

как будем переводить "lollipop operator" когда таки линтипы вмёржат (в 2022 году)?

"петушок на палочке"

"петушок на палочке"

?

правда тут можеть быть путаница с популярным прувером

как будем переводить "lollipop operator" когда таки линтипы вмёржат (в 2022 году)?

s/2/4/g

haskell 2049

CyberHask 2077

правда тут можеть быть путаница с популярным прувером

le coq?

https://pbs.twimg.com/media/B2GrBMMCEAAafaS.png только флаг поменять

А что за жидкий хаскель?

Контракты в коде

"петушок на палочке"

там же явный намёк на леденец круглой формы. а у петушка форма точно не круглая. то есть "леденец" ещё кое-как подходит, а вские птицы — нет

ну у нас все леденцы на палочки называются петушками

нужно переводить с учётом культурных традиций и всего такого

Оператор чупачупс

ну у нас все леденцы на палочки называются петушками

в какой стране?

в какой стране?

в рб так точно

устоявшаяся фраза

в этой

в рб так точно

вот не белорусский и переводите петушком

Оператор чупачупс

не суверенно

в этой

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

это всё тлетворное влияние запада

а у вас какой-то сферический петушок в вакууме