к
Size: a a a
2020 November 15
AA
ну выдать де факто обязательную для всех фичу за ту, которую как-бы можешь попробовать не использовать, но не получится
JS
совместимость с наследием Hackage тоже имеет смысл
AA
но из-за дефакто обязательности экстеншонов завхаскелистам и не удстаться так сделать придется сделать какие-то средства разрешения неопределенности для имен
АХ
Другая возможность завхаскеллем будут пользоваться два с половиной инвалида
MK
Хочу завхаскель!
к
ну выдать де факто обязательную для всех фичу за ту, которую как-бы можешь попробовать не использовать, но не получится
так а как может не получится не пользоваться фичей?
NI
А когда уже линейные типы откатят?
Все сроки уже проходят!
Так дальше пойдёт, так они и совсем в хаскеле останутся!
Все сроки уже проходят!
Так дальше пойдёт, так они и совсем в хаскеле останутся!
AA
так а как может не получится не пользоваться фичей?
ну придется читать код с использованием этой фичи, все равно большая часть взаимодействия с кодом это чтение, а не написание
AA
А когда уже линейные типы откатят?
Все сроки уже проходят!
Так дальше пойдёт, так они и совсем в хаскеле останутся!
Все сроки уже проходят!
Так дальше пойдёт, так они и совсем в хаскеле останутся!
Боюсь, что уже не откатят Ж(((((((
MP
А когда уже линейные типы откатят?
Все сроки уже проходят!
Так дальше пойдёт, так они и совсем в хаскеле останутся!
Все сроки уже проходят!
Так дальше пойдёт, так они и совсем в хаскеле останутся!
Они пошли другим путём — никто не знает какой синтаксис правильный, так что никто не сможет ничего с линейными типами написать. А если и сможет, то в следующей версии синтаксис уже снова другой. Вуаля.
NI
Они пошли другим путём — никто не знает какой синтаксис правильный, так что никто не сможет ничего с линейными типами написать. А если и сможет, то в следующей версии синтаксис уже снова другой. Вуаля.
Тоже неплохо!
R
Боюсь, что уже не откатят Ж(((((((
а что, с ними не так что-то? (вообще не в курсе, че они там придумали)
AA
а что, с ними не так что-то? (вообще не в курсе, че они там придумали)
да вроде все нормально
2020 November 16
MP
а есть менее вербозная запись для
?
оператор для композиции ^. и <$> или типа того
z <- (^. typed @AppMetric) <$> foo
?
оператор для композиции ^. и <$> или типа того
AV
а что за функтор?
MP
appMetrics <- (^. typed @AppMetric) <$> lift get
MP
это целиком
MP
функтор ReaderT env (ExceptT ..)
MK
get из StateT какого-то?