Влод
https://github.com/bos/aeson
Влод
слышал это популярный пакет
Влод
пакет лол
Alexander
какие-то проблемы с документацией там?
A64m
популярный пакет в хаскеле: нету другого пакета который делает то же самое
Влод
ну или у меня с поиском
Alexander
чего нужно найти?
Alexander
чего не удалось найти т.е.
Влод
ну блин. мне лень писать. короче не знал как бы подступиться к нему и так познакомился с сайтом артёма
Влод
который с попугаем на аватарке. вы знаете
A64m
не понятно, что там в аесоне документировать
кана
у аесона хорошая документация с примерами же
A64m
разве что ручное описание инстансов, с которым лучше не связываться все равно
A64m
ну твики выведения инстансов еще
Alexander
ну если с внешним миром общаешься, то нужно
A64m
причем это-то как раз документировано
Alexander
если внутренее, то можно не связываться
Alexander
ну можно пописать про Encoding/Aeson и как связаны
Alexander
там есть вопросы
Alexander
что достаточно определить, что через что в каком случае работает
Alexander
ну.. часто надо
A64m
с самим Value я средствами аесона никогда не работал, только призмами из соотвествующей библиотеки
A64m
но какое-же адище дхальный синтаксис всеже, let in, плюсы перед натуральными числами. продумана каждая деталь
A64m
суммы тоже замечательные
Andrei
A64m
никакой иронии, каждая деталь продумана для того чтоб приносить максимум боли и ужаса
Andrei
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
все должно быть легким и чистым, больше воздуха!
Cheese
Leonid 🦇
Я так рефераты писал
Cheese
перенос там, где можно не переносить?
Leonid 🦇
14 кегль и полуторный межстрочный
Leonid 🦇
И маленькие параграфы
Alexander
не очень смешно
Alexander
или чо ссылку на порнуху или что там было теперь оставлять?
Alexander
чтобы было веселее на канале
Aliester
да нет, я только за модерацию
Leonid 🦇
Denis
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
и тип