И маленькие параграфы

или я не все кнопки на бане прожал?

удаляет все сообщения без слова Haskell, монада или Снойман?

не очень смешно

или чо ссылку на порнуху или что там было теперь оставлять?

чтобы было веселее на канале

да нет, я только за модерацию

или чо ссылку на порнуху или что там было теперь оставлять?

Запомните nixos.org а не .com

Запомните nixos.org а не .com

не открывается .com

всё, нет больше французской деревнской порнухи? :(

Эх, точно

ребят, а есть вопрос по базовым понятиям что такое алгебра?

ну или как загуглить

https://www.google.ru/search?q=%D1%87%D1%82%D0%BE+%D1%82%D0%B0%D0%BA%D0%BE%D0%B5+%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0&oq=%D1%87%D1%82%D0%BE+%D1%82%D0%B0%D0%BA%D0%BE%D0%B5+%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0&aqs=chrome..69i57j0l5.4384j1j7&sourceid=chrome&ie=UTF-8

от души

арифметика на символах

что-то вроде адт?

её вообще можно как тайпкласс представить?

смотря какая алгебра

https://github.com/slamdata/purescript-halogen/blob/master/docs/2%20-%20Defining%20a%20component.md#query-algebra

нет интуиции за этим словом

алгебра это любая фигня где есть 1) объекты 2) свойства/законы 3) методы

вообще это общее правило формирования математики

кул

методы звучит как законы

и каждый новый виток абстракции новой математики есть накрученные свойства/методы/итд на старую абстракцию

а дальше там вообще исчезают цыфры и идтет работа с чистыми абстракциями

да тут не про цыфры

а потом ты видишь вообще все числовое и вероятностное поле, а потом ты умираешь

ну 4 уровень абстракции это уже ТК

мы не знали об этой подставе когда учили что дважды два четыре

египтяне тоже не знали)

но ничего

надо было сразу - дыважды два - моноид в категории эндофункторов

они рисовали что 2 человека и 2 коровы это не одна и таже абстракция 2

а там и кольца, поля и прочее пошло

https://ru.wikipedia.org/wiki/Алгебра_(универсальная_алгебра) же

короче, это множество, на котором вводятся всякие операции и отношения

хмм

напоминает категорию

ещё множество должно напоминать

и тип

потому что это базовое понятие соответствующей теории

напоминает категорию

Чем?

Чем?

Ну типа у алуфи говорилось что вы можете их представлять как множества с определенными над ними морфизмами

Ну конечно говорю так как в памяти отложилось

Не серчай короче

Вот. И книга то назвалась алгебра 0 Что-то в этом есть

Кого так можно представить? Алгебры можно. А категории тут при чем?

ну блин

ты так говоришь как будто я виноват в своей неграмотности

короче твоя постановка предложения звучит нагентающе

Оказывается, алгебр много: http://mathworld.wolfram.com/Algebra.html

См. See also

ох и дичь https://gist.github.com/ericelliott/ea925c58410f0ae74aef

из работочатика > 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

скоро отплатим пушеру переведя проект с go на Haskell

и залоре

да

пушеру?

это компания, сделавшая озабоченность паузами ГЦ модной на хаскельреддите

учитывая что у нас работает пара ребят из пушера

которым не понравилось, то что они решили делать, это весело

правда один из них админ

ERROR: S client not available

и залоре

а залора разве не на жабу перешла?

с го?

а не залора там же вообще пхп

или нет?

Залора-Залора перейди на Федора, с Федора на Якова, с Якова на всякого.

которым не понравилось, то что они решили делать, это весело

да, ситуация очень комичная, конечно, набрали хаскелистов, т.е. тех кто меньше всех хочет на го писать

они с хаскеля на го перешли, терраформ

а что вообще с залорой случилось? помню, что слышал о них, когда только услышал про хаскелл, а потом как-то заходил на их гитхаб и там почти никакой активности не было

ушли те кто Haskell продвигал

менеджменту стало пофиг, потом в это меньше и меньше инвестировали

в итоге сошло на нет развитие, потом вообще все

\o/

https://github.com/haskell-mafia/mafia откопал странноту

Не актуально уже.

Оно всё еще с cabal sandbox работает, а надо cabal new-build.

stack build ты хотел сказать?

:troll:

Не, stack так себе, у него модель неправильная, пакеты надо хэшами идентифицировать, как в Nix

cabal new-build переняли эту идею, а stack вроде и не планирует.

Ну и Backpack в stack мы скорее всего не увидим. И dependency solver. А еще он медленный, скотина.

Все свои pet projects я через cabal new-build собираю последнее время, тоже свои проблемы есть, но в целом приятнее UX, чем со stack

dependency solver он через cabal-install реализует

по крайней мере требует для рабты

а как там с разными версиями компиляторов?

Отлично там всё, какой в PATH лежит, таким и соберёт, либо можно в конфиге прописать путь к бинарнику.

т.е. никак

вне nix — никак, да

а это не задача билд-системы, идея копировать бинарник с сервера (как stack делает) сломана в принципе, потому что ты не получаешь гарантиую бинарной совместимости с дистрибутивом на Ubuntu всё просто, hvr-ppa и вперёд на Nix тоже всё просто на остальных дистрах не знаю

у меня кажется интернет-деформация

почему никак-то? в кабал проджект прописать with-compiler: ghc-8.4.0.20171214

условно сломана, на деле работает, плюс зачем бинарник, можно и из сорцов собрать