или кто-нибудь не вбросит очередное "хаскель медленный, я на питоне сделал быстрее"
нужно чтобы программка была
Alexander
Kirill
ну естественно)
Alexander
у меня есть некоторое желание переизобрести гошный пушер, никто не хочет?
кана
data Monoid a = MkMonoid
{ mempty :: a,
mappend :: a -> a -> a
}
monoidSum :: Monoid Int
monoidSum = MkMonoid 0 (+)
class Monoid a where
mempty :: a
mappend :: a -> a -> a
instance Monoid Int where
mempty = 0
mappend = (+)
ну реализовывать тайпклассы через дату можно, но достаточно ли это чтобы сказать, что их нужно сравнивать?
То есть тут теряется свойство подстановки нужного инстанса компилятором, все инстансы нужно передавать явно
Alexander
на каникулах
Vladislav
> То есть тут теряется свойство подстановки нужного инстанса компилятором, все инстансы нужно передавать явно
В этом и вся разница. А вот с data/type families как раз труднее найти похожести, а не разницу
A64m
может речь о сходстве фундепов с ТФ?
Vladislav
Такое сходство есть, да
кана
фундепы я пока не могу понять в принципе, выглядит как какая-то абстрактная магия типа "вот в этом типе где-то есть этот тип, знай это"
Leonid 🦇
@qnikst давай запилим postgresql бэкэнд к katip
Alexander
интересно, но нет
Alexander
лучше stackdriver :)
Leonid 🦇
кто?
Alexander
гуглоклаудовая фигня
Alexander
там сейчас какая-то прокся на рубях стандартная, она кривая донельзя
Alexander
ну т.е. как-то работает, но когда нужен определенный маппинг свойств - то нет
Leonid 🦇
вообще еще бы nixops вменяемый, а не на жуткого вида питоне
Alexander
ещё я хочу в katip как-то мержить события частые
Alexander
типа начали закончили, если они в окно влезают
Alexander
а как - не знаю
Leonid 🦇
такое надо делать на уровень выше, мне кажется
Alexander
код который шлёт логи про это знать особо не должен, максимум флаг делать
Alexander
nixops - я там не понимаю ничего
Leonid 🦇
ну это так
Alexander
можно на все забить и попробовать что-нить новое поучить
Alexander
ats2, software foundations там попроходить
Alexander
в факроии ядерную бомбу таки сделать
кана
а ты тапл на расте прорешал?
Alexander
нет
Alexander
вот, тапл на расте продолжить
Alexander
у меня неожиданно -2 часа в среднем в дне стало
Alexander
как-то все весёлое вообще не попланировать
Leonid 🦇
что, организм не выдерживает 6 часов сна?
Alexander
ты ещё предложи как в школе на экзаменах, ботать с 9 до 3-4 часов
Alexander
я там 2 недели вроде такого режима выдержал, к экзамену по физике я мог только спать
Alexander
но он простой был, хотя бы
Alexander
не то что эти матаны, геометрии, алгебры
Leonid 🦇
а мог просто забить
Leonid 🦇
или ты уже при ЕГЭ заканчивал?
Alexander
тестовый по русскому был
Alexander
у нас и сочинение и ЕГЭ было
Leonid 🦇
бедные дети
Alexander
ЕГЭ кстати тогда очень простой был, у меня 1 балла не хватило для отл
Alexander
учитывая что по русскому у меня было между 2 и 3
Leonid 🦇
я думаю у меня по русскому было ближе к 0, но ничего, 3 поставили
Alexander
@lonokhov учитывая что у меня тогда уже было поступление в СПбГУ нахаляву я вообще мог как угодно здать, но это ж не интересно
Alexander
сдать
Alexander
а с олимпиадой там был косяк, поидее она на матмех и физфак одновременно была, но там чего-то намудрили, в итоге матмех стал не иметь право по ней принимать
Leonid 🦇
а чо, стакдрайвер круче прометеусов и прочих логгинг-мониторинг сервисов которых миллионы?
Alexander
это определило факультет на который я пошёл, а так я был в сомнениях
Alexander
не знаю, он изкоробки на гуглоклауде
Alexander
работает, ищет, логи метрики собирает интерфейс нормальный
Alexander
хотя вступительные на матмех в том году простые были, я туда приезжал за одноклассников поболеть, думаю бы прошёл тоже
A64m
я поступал на физфак потому что легче было чем на математику
A64m
а я трудностей избегаю
Leonid 🦇
хорошо вам умным, поступали куда хотели
Alexander
ну если бы куда хотели, то нужно было бы и в мгу сгонять
Alexander
но я даже не попробовал
A64m
не факт, если бы я в нормальный вуз поступал а не в свою шарагу, моя судьба может получше сложилась бы
Alexander
@A64m_qb0 был мы успешным явапрограммистом^W политиком?
Leonid 🦇
не факт, если бы я в нормальный вуз поступал а не в свою шарагу, моя судьба может получше сложилась бы
занимался бы наукой в странах первого мира?
A64m
уехал бы из Россиюшки в молодости
Leonid 🦇
...ушлым коммивояжером, цепким менеджером,
Скучным веб-дизайнером, крупным акционером, мелким лавочником...
Leonid 🦇
хотя там начинается с "Нервным программистом"
Konstantin
A64m
впрочем, из нормального вуза меня бы выкинули на мороз
A64m
так что я все правильно сделал
Alexander
быть выкинутым из вуза это надо постараться
Leonid 🦇
меня и из сомнительного два (три) раза выкидывали, норм
Anonymous
смотря из какого
Alexander
хотя хз что было когда ты учился
A64m
это шутка что-ли? На моем факультете чуть не половину выкинули
Alexander
ну на нашем тоже, но половина постаралась
Alexander
в среднем если не тратишь все время на работу/прочие радости жизни, то все выучишь и сдашь хоть как-то
Anonymous
высшее не нужно
Anonymous
бакалавриатская программа же смешная
Alexander
ну бакалавры точно не нужны
Anonymous
хз че в рашке в вузах 4 года делают
Leonid 🦇
5 лет на инженера