Cheese
потому что это базовое понятие соответствующей теории
Влод
Чем?
Ну типа у алуфи говорилось что вы можете их представлять как множества с определенными над ними морфизмами
Влод
Ну конечно говорю так как в памяти отложилось
Влод
Не серчай короче
Влод
Вот. И книга то назвалась алгебра 0
Что-то в этом есть
Vladislav
Кого так можно представить? Алгебры можно. А категории тут при чем?
Влод
ну блин
Влод
ты так говоришь как будто я виноват в своей неграмотности
Влод
короче твоя постановка предложения звучит нагентающе
Anonymous
Оказывается, алгебр много:
http://mathworld.wolfram.com/Algebra.html
Anonymous
См. See also
Зигохистоморфный
ох и дичь https://gist.github.com/ericelliott/ea925c58410f0ae74aef
Alexander
из работочатика
> I love working at <company-name>. Every golang source file contains an ad-hoc, informally-specified, bug-ridden, slow implementation of half of the Haskell prelude
Alexander
скоро отплатим пушеру переведя проект с go на Haskell
Andrey
и залоре
Alexander
да
kalloc
пушеру?
A64m
это компания, сделавшая озабоченность паузами ГЦ модной на хаскельреддите
Alexander
учитывая что у нас работает пара ребят из пушера
Alexander
которым не понравилось, то что они решили делать, это весело
Alexander
правда один из них админ
Kirill
Alexander
с го?
Alexander
а не залора там же вообще пхп
Alexander
или нет?
A64m
Залора-Залора перейди на Федора, с Федора на Якова, с Якова на всякого.
A64m
которым не понравилось, то что они решили делать, это весело
да, ситуация очень комичная, конечно, набрали хаскелистов, т.е. тех кто меньше всех хочет на го писать
Andrey
они с хаскеля на го перешли, терраформ
Donat
а что вообще с залорой случилось? помню, что слышал о них, когда только услышал про хаскелл, а потом как-то заходил на их гитхаб и там почти никакой активности не было
Alexander
ушли те кто Haskell продвигал
Alexander
менеджменту стало пофиг, потом в это меньше и меньше инвестировали
Alexander
в итоге сошло на нет развитие, потом вообще все
Alexander
\o/
Aleksey
https://github.com/haskell-mafia/mafia
откопал странноту
Vladislav
Не актуально уже.
Vladislav
Оно всё еще с cabal sandbox работает, а надо cabal new-build.
Aleksey
stack build ты хотел сказать?
Vladislav
:troll:
Vladislav
Не, stack так себе, у него модель неправильная, пакеты надо хэшами идентифицировать, как в Nix
Vladislav
cabal new-build переняли эту идею, а stack вроде и не планирует.
Vladislav
Ну и Backpack в stack мы скорее всего не увидим. И dependency solver. А еще он медленный, скотина.
Vladislav
Все свои pet projects я через cabal new-build собираю последнее время, тоже свои проблемы есть, но в целом приятнее UX, чем со stack
Aleksey
dependency solver он через cabal-install реализует
Aleksey
по крайней мере требует для рабты
Aleksey
а как там с разными версиями компиляторов?
Vladislav
Отлично там всё, какой в PATH лежит, таким и соберёт, либо можно в конфиге прописать путь к бинарнику.
Aleksey
т.е. никак
Andrei
вне nix — никак, да
Vladislav
а это не задача билд-системы, идея копировать бинарник с сервера (как stack делает) сломана в принципе, потому что ты не получаешь гарантиую бинарной совместимости с дистрибутивом
на Ubuntu всё просто, hvr-ppa и вперёд
на Nix тоже всё просто
на остальных дистрах не знаю
Aliester
у меня кажется интернет-деформация
A64m
почему никак-то? в кабал проджект прописать with-compiler: ghc-8.4.0.20171214
Aleksey
условно сломана, на деле работает, плюс зачем бинарник, можно и из сорцов собрать
Vladislav
@A64m_qb0 Он его сам скачает?
Aliester
только что пролистал распечатнный вайтпейпер в конец в поисках комментов
Vladislav
Я в with-compiler прописывал только путь до уже скачанного компилятора.
Vladislav
А, ну о том и речь.
Vladislav
условно сломана, на деле работает, плюс зачем бинарник, можно и из сорцов собрать
Если ты через portage ставишь куда-то, то ты можешь просто путь до бинарника прописать, problem solved
Andrei
а это не задача билд-системы, идея копировать бинарник с сервера (как stack делает) сломана в принципе, потому что ты не получаешь гарантиую бинарной совместимости с дистрибутивом
на Ubuntu всё просто, hvr-ppa и вперёд
на Nix тоже всё просто
на остальных дистрах не знаю
у меня было сломано, пока снойманиты не стали собирать под линуксы билды с разными версиями terminfo. собственно, этого хватило.
Aleksey
на деле в генте хаскелем из под portage управлять это боль
Aleksey
потому что постоянно ломается сборка компилятора и его зависимостей
Andrei
впрочем, я — ненастоящий сварщик
Aleksey
а стек тупо работает
Vladislav
> условно сломана, на деле работает
"Условно сломано, на деле работает", это про весь stack во всех его проявлениях, поэтому он и продолжает работать "на деле", пока твое дело не выходит из протоптанной Снойманом дорожки. А cabal основательно ко всему подходит, и если у него что-то сломано, то это фиксится тоже основательно, а не костылями.
Quet
фиксится основательно — лет 5 занимает фикс )
Vladislav
ЗАТО КАКОЙ
Quet
то что стек умеет компилятор качать на деле очень удобно
Quet
и переключаться между версиями
Aleksey
управления разными наборами пакетов для каждой версии компилятора в кабале тоже нет?
Aleksey
шаринг библиотек между проектами?
Aleksey
несколько пакетов в одном проекте?
Aleksey
что из этого есть в кабале
A64m
переключаться между версиями и кабал умеет, вот скачивать - да, не скачивает
Vladislav
всё вышеперечисленное есть
Aleksey
последние 2 завезли в new-build ?
Vladislav
> это-то понятно, примеров бы
Вот как я тебе приведу примеры, если он в мелочах не работает
где-то GHCi не запустится
где-то cabal-файл не распарсится
где-то линковщик умирает и удаляй ~/.stack
везде где-то что-то не так пойдет
A64m
в новом кабале нету поддержки от всяких языковых тулов для редакторов вроде ghc-modа