Alexander
Tweets 45 309.1% Tweet impressions 32.6K 311.4% Profile visits 259 50.6% Mentions 58 480.0% Followers 130 11 странная неделя
Leonid 🦇
похоже на то, но нельзя же прямо писать это
вот вы высокомерные хаскелисты
Mikhail
Tweets 45 309.1% Tweet impressions 32.6K 311.4% Profile visits 259 50.6% Mentions 58 480.0% Followers 130 11 странная неделя
Ну автор жжот, что сказать, хорошо, что я не бекендер
Alexander
@lonokhov может он умный, а это я туплю
Alexander
Ну автор жжот, что сказать, хорошо, что я не бекендер
это у меня, не знаю что в статистике @backenddeveloper
Mikhail
🤷‍♂
Yura
особенно если сложные распределенные, асинхронные и параллельные системы
там дебагер все поменяет и не так выполнятся будет, гонки пропадут еще какая-нибудь беда
Alexander
ну по факту можно прицепиться если дедлок какой и смотреть что там с тредами
Yura
да
Yura
но хаскел дедлоки отлавливает
Yura
точнее сам говорит - дедлок
Leonid 🦇
а чо за opentracing кстати? Я только знаю что nginx может генерить хэш на запрос и писать его в заголовок. а ты потом его везде в логи пишешь.
Leonid 🦇
точнее сам говорит - дедлок
весьма не во всех случаях
Yura
да
Alexander
@lonokhov руками, либ нормальных нету у нас
Alexander
вообще общий апи и формат для хранения передачи трейсов
Leonid 🦇
https://www.youtube.com/watch?v=VOrIK6GBAY0 скоро будут рассказывать web3, какие-то бинды к эфириуму
Leonid 🦇
через 15 минут вроде
Leonid 🦇
криптанство усиливается
Leonid 🦇
какая мудрёная штука этот ваш опентрейсинг
Leonid 🦇
я так понимаю опентрейсинг это даже не стандарт
Leonid 🦇
это "идея"
Leonid 🦇
мутно
Leonid 🦇
и всё на го
Leonid 🦇
ну вот, стейта понаплодят
Слава
О, кстати. А расскажите, что есть на хаскеле для реализации saml2
Dmitry
тогда более интересный вопрос "откуда все эти смоллтокеры?"
Слава
Думаю, это нечто архетипичное. То есть, некая особенность человеческого мышления, которому действительно так удобнее. Другие дело, что Ява и плюсы все ж не smalltalk
Aliester
Снова жопное отопление включили
Denis
я так понимаю опентрейсинг это даже не стандарт
мы свою опердню под него писали(смотрели на zipkin тогда)
Leonid 🦇
Сунуть все в постгрес, я считаю
Leonid 🦇
Снова жопное отопление включили
Вот и не знаешь где тут пост-ирония
Зигохистоморфный
https://twitter.com/lambda_conf/status/968960284869079040
Leonid 🦇
Во, прямо как у мормонов
Dmitry
А как её ордернуть-то? Сидеть, ждать Q2?
Denis
читал прошлую книгу автора про haskell
Denis
плохая совсем
Dmitry
Да мне так, перед Go-шниками понтоваться :)
Крылатый
Перед гоферами можно понтоваться чем угодно. У них в языке почти ничерта и нет.
A64m
комитетчики заработали https://github.com/ghc-proposals/ghc-proposals/pull/80
A64m
https://github.com/ghc-proposals/ghc-proposals/pull/74
A64m
это все микрофичи, конечно
Denis
хочу чтобы TypeApplications с инфиксными операторами работал
Denis
вот раздолье то будет
Denis
в траке где-то тикет висит, но оно ушло в байк-шеддинг про синтаксис и это всё
Denis
https://github.com/ghc-proposals/ghc-proposals/pull/52 вот это и без пропозала все хотят, но никто до конца не понимает как делать. Кроме эйзенберга, наверное, но тот не делает, а только комменты пишет, про то что понимает.
A64m
да, можно тогда будет использовать TDNR не так r @FooRecord foo а какой-нибудь @FooRecord ^. foo
Denis
и всякие @”foo” .= bla
A64m
да
кана
вообще лично меня чет напрягает то, что на тайплевеле все переизобретают/дублируют ну то есть скажем та самая статья про рекорды вместо тайпклассов немного приоткрыла мне глаза, что эти тайпклассы - практически дублирование рекордов
Anatolii
Снойман конечно хорош - захотел сделать свой тип PrimaryKey в базе. Так перситент мне говорит что надо для него инстансы писать каких-то тайпклассов связанных с Http
Anatolii
:(
кана
наоборот приводят насколько могут к тому, что на велью-левел
ну есть некоторая разница между "продублировать код" и провести некую унификацию, чтобы typeapplications работал не зная даже, он на тайп или термлевеле я код не смотрел и может там так и есть конечно (и есть ли код вообще где-нибудь, если это просто пропосал без реализации)
кана
нужно таки идти на лекции _bravit, чтобы начать читать код ghc
A64m
нужно таки идти на лекции _bravit, чтобы начать читать код ghc
для этой фичи все равно имплементации нету еще
Yura
лучше начать читать код ghc а потом читать лекции _bravit-у
Anatolii
Да. Потому что ключ можно использовать как параметр запроса.
я бы понял это если бы я им пользовался как параметром запроса
Yura
ну мир не вокруг тебя вертиться
Yura
а вокруг сноймана
Yura
сделай ему PR
A64m
смое адовое что я видел в пропозалах за последнюю неделю это, конечно, что в деп.хаскеле pi будет называться foreach
Anatolii
и еще эти 3 инстанса нельзя задерайвить
Anatolii
я удивлен что Снойман чью-то либу использовал, а не свою на писал
кана
смое адовое что я видел в пропозалах за последнюю неделю это, конечно, что в деп.хаскеле pi будет называться foreach
ну в принципе нормально, для обычного рабочего хаскелиста же, не академики мы тут суть отражает ведь
Yura
сишарпом пахнет
A64m
в мейллисте комитетчиков которые их принимают
кана
интересно. можно ссылку на статью?
http://www.haskellforall.com/2012/05/scrap-your-type-classes.html старенькая статья, сейчас там все можно делать несколько удобнее с помощью RecordWildCard
A64m
там они по идейным причинам просто не использованы с тех пор мощность у рекорд вайлдкардс только убавили
кана
ассоциативные типы в классах тоже кодируются вот так: data SomeClass a = forall b. MkSomeClass { f :: a -> b , g :: b } someInstance :: SomeClass String someInstance = MkSomeClass{..} where f = length g = 0
sherzod
немного неожиданно для новичка обнаружить параллель между произведением и тайпклассами спасибо, почитаю
кана
ассоциативные типы в классах тоже кодируются вот так: data SomeClass a = forall b. MkSomeClass { f :: a -> b , g :: b } someInstance :: SomeClass String someInstance = MkSomeClass{..} where f = length g = 0
правда тут b замкнут в значении, поэтому достать его нельзя, поэтому это фиговое решение, нужно явно передавать b, а это тоже не оч
кана
да, рекорды сейчас уже далеко не все покрывают