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
Alexander
@lonokhov может он умный, а это я туплю
Mikhail
🤷♂
Alexander
ну по факту можно прицепиться если дедлок какой и смотреть что там с тредами
Yura
да
Yura
но хаскел дедлоки отлавливает
Yura
точнее сам говорит - дедлок
Leonid 🦇
а чо за opentracing кстати? Я только знаю что nginx может генерить хэш на запрос и писать его в заголовок. а ты потом его везде в логи пишешь.
Leonid 🦇
Yura
да
Alexander
@lonokhov руками, либ нормальных нету у нас
Alexander
вообще общий апи и формат для хранения передачи трейсов
Leonid 🦇
https://www.youtube.com/watch?v=VOrIK6GBAY0 скоро будут рассказывать web3, какие-то бинды к эфириуму
Leonid 🦇
через 15 минут вроде
Leonid 🦇
криптанство усиливается
Kirill
Leonid 🦇
какая мудрёная штука этот ваш опентрейсинг
Leonid 🦇
я так понимаю опентрейсинг это даже не стандарт
Leonid 🦇
это "идея"
Leonid 🦇
мутно
Leonid 🦇
и всё на го
Слава
Leonid 🦇
ну вот, стейта понаплодят
Слава
О, кстати. А расскажите, что есть на хаскеле для реализации saml2
Dmitry
тогда более интересный вопрос "откуда все эти смоллтокеры?"
Слава
Думаю, это нечто архетипичное. То есть, некая особенность человеческого мышления, которому действительно так удобнее. Другие дело, что Ява и плюсы все ж не smalltalk
Aliester
Снова жопное отопление включили
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
да
кана
вообще лично меня чет напрягает то, что на тайплевеле все переизобретают/дублируют
ну то есть скажем та самая статья про рекорды вместо тайпклассов немного приоткрыла мне глаза, что эти тайпклассы - практически дублирование рекордов
A64m
Anatolii
Снойман конечно хорош - захотел сделать свой тип PrimaryKey в базе. Так перситент мне говорит что надо для него инстансы писать каких-то тайпклассов связанных с Http
Anatolii
:(
кана
наоборот приводят насколько могут к тому, что на велью-левел
ну есть некоторая разница между "продублировать код" и провести некую унификацию, чтобы typeapplications работал не зная даже, он на тайп или термлевеле
я код не смотрел и может там так и есть конечно (и есть ли код вообще где-нибудь, если это просто пропосал без реализации)
A64m
Yura
кана
нужно таки идти на лекции _bravit, чтобы начать читать код ghc
A64m
Yura
лучше начать читать код ghc а потом читать лекции _bravit-у
Yura
ну мир не вокруг тебя вертиться
Yura
а вокруг сноймана
Yura
сделай ему PR
A64m
смое адовое что я видел в пропозалах за последнюю неделю это, конечно, что в деп.хаскеле pi будет называться foreach
Anatolii
и еще эти 3 инстанса нельзя задерайвить
Anatolii
я удивлен что Снойман чью-то либу использовал, а не свою на писал
кана
Yura
сишарпом пахнет
кана
A64m
в мейллисте комитетчиков которые их принимают
sherzod
кана
интересно. можно ссылку на статью?
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
немного неожиданно для новичка обнаружить параллель между произведением и тайпклассами
спасибо, почитаю
кана
кана
да, рекорды сейчас уже далеко не все покрывают
Leonid 🦇