Влод
https://github.com/bos/aeson
Влод
слышал это популярный пакет
Влод
пакет лол
Alexander
какие-то проблемы с документацией там?
A64m
популярный пакет в хаскеле: нету другого пакета который делает то же самое
Влод
ну или у меня с поиском
Alexander
чего нужно найти?
Alexander
чего не удалось найти т.е.
Влод
ну блин. мне лень писать. короче не знал как бы подступиться к нему и так познакомился с сайтом артёма
Влод
который с попугаем на аватарке. вы знаете
A64m
не понятно, что там в аесоне документировать
кана
у аесона хорошая документация с примерами же
A64m
разве что ручное описание инстансов, с которым лучше не связываться все равно
A64m
ну твики выведения инстансов еще
Alexander
ну если с внешним миром общаешься, то нужно
A64m
причем это-то как раз документировано
Alexander
если внутренее, то можно не связываться
Alexander
ну можно пописать про Encoding/Aeson и как связаны
Alexander
там есть вопросы
A64m
ну если с внешним миром общаешься, то нужно
ну, если жизнь заставляет - понятно, я про то что если можно не связываться - лучше не связываться
Alexander
что достаточно определить, что через что в каком случае работает
Alexander
ну.. часто надо
A64m
с самим Value я средствами аесона никогда не работал, только призмами из соотвествующей библиотеки
A64m
но какое-же адище дхальный синтаксис всеже, let in, плюсы перед натуральными числами. продумана каждая деталь
A64m
суммы тоже замечательные
A64m
никакой иронии, каждая деталь продумана для того чтоб приносить максимум боли и ужаса
Dan
Во что чат превратили
Alexander
вроде же весь спам удален?
Alexander
или я не все кнопки на бане прожал?
Leonid 🦇
Стиль форматирования жутковат https://github.com/ocharles/dhall-to-cabal/blob/master/lib/Distribution/Package/Dhall.hs
Leonid 🦇
bugReports <- return ""
Alexander
нужно читать с 1.5 межстрочным интервалом
Alexander
все должно быть легким и чистым, больше воздуха!
Leonid 🦇
Я так рефераты писал
Cheese
перенос там, где можно не переносить?
Leonid 🦇
14 кегль и полуторный межстрочный
Leonid 🦇
И маленькие параграфы
Aliester
или я не все кнопки на бане прожал?
удаляет все сообщения без слова Haskell, монада или Снойман?
Alexander
не очень смешно
Alexander
или чо ссылку на порнуху или что там было теперь оставлять?
Alexander
чтобы было веселее на канале
Aliester
да нет, я только за модерацию
Denis
Запомните nixos.org а не .com
не открывается .com
Leonid 🦇
всё, нет больше французской деревнской порнухи? :(
Leonid 🦇
Эх, точно
Влод
ребят, а есть вопрос по базовым понятиям что такое алгебра?
Влод
ну или как загуглить
john
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) методы
Зигохистоморфный
вообще это общее правило формирования математики
Влод
кул
Влод
методы звучит как законы
Зигохистоморфный
и каждый новый виток абстракции новой математики есть накрученные свойства/методы/итд на старую абстракцию
john
а дальше там вообще исчезают цыфры и идтет работа с чистыми абстракциями
Влод
да тут не про цыфры
john
а потом ты видишь вообще все числовое и вероятностное поле, а потом ты умираешь
Зигохистоморфный
ну 4 уровень абстракции это уже ТК
john
мы не знали об этой подставе когда учили что дважды два четыре
Зигохистоморфный
египтяне тоже не знали)
Зигохистоморфный
но ничего
john
надо было сразу - дыважды два - моноид в категории эндофункторов
Зигохистоморфный
они рисовали что 2 человека и 2 коровы это не одна и таже абстракция 2
Зигохистоморфный
а там и кольца, поля и прочее пошло
Cheese
https://ru.wikipedia.org/wiki/Алгебра_(универсальная_алгебра) же
Cheese
короче, это множество, на котором вводятся всякие операции и отношения
Влод
хмм
Влод
напоминает категорию
Cheese
ещё множество должно напоминать
Cheese
и тип