YS
(или как там)
Всегда есть азиат, который делает что-то лучше тебяSize: a a a
2020 May 16
YS
AV
Ну тут кстати азиаты не очень
R:
ага, а потом сиди и руками состояния программы развертывай как тут: https://github.com/input-output-hk/plutus/issues/1882#issuecomment-598182517
нормальный Java-like дебаггер с брейкпоинтами, удобными степами и показом содержимого переменной по наведению мышкой сэкономил бы недели моей жизни
нормальный Java-like дебаггер с брейкпоинтами, удобными степами и показом содержимого переменной по наведению мышкой сэкономил бы недели моей жизни
В хаскеле?
Oℕ
с какими свободными структурами?
YS
с какими свободными структурами?
с самыми что ни на есть свободными!
АГ
Я скорее имел в виду, что я научился делать с фри монадами и даже какие общественные мифы разрушил
AV
Но я бы не стал сбрасывать Сенди, тех ребят, кто в гитхабе, и тех кто компилятор graphql делают (Где Alexis с её Eff)
АГ
Сенди молодец, но он не создал методологию
Oℕ
Я скорее имел в виду, что я научился делать с фри монадами и даже какие общественные мифы разрушил
Ты наконец разрушил какой-то миф, не придуманный тобой?
Oℕ
ура
Oℕ
дайте глянуть
АГ
Ну Александр неоднократно высказывал "никто же не использует фри монады"
АГ
Хотя бы этот
Oℕ
а оказалось используешь ты?
AV
Я это не высказывал никогда, во всяком случае в таком общем виде
АГ
а оказалось используешь ты?
Либо одно из двух:
- Использую я;
- Либо я никто
- Использую я;
- Либо я никто
AV
Там был или явно саркастический фон или ограничивающий контекст
Oℕ
Я не очень далеко продвинулся со свободными структурами, ровно до такой степени,что понять, что без квошиентов туда соваться незачем.
Oℕ
Ну т.е. выбор между лином, агдой и арендом