АГ
Чаще всего не нужно, а не НИ В КОЕМ СЛУЧАЕ НЕ БУДЕМ
Size: a a a
2020 May 16
R
Люди склонны рационализировать однажды сделанный выбор, даже если он не был рациональным сам по себе (что в вашем случае, я не знаю, но сам понимаешь, мы находимся на разных сторонах баррикад)
но это как раз тот случай, когда либо вагон типов, либо
unsafeCoerce в продакшоне, так что тут очень хорошо видна граница водоразделаАГ
Я прибегал к дебагу в С++, там, к сожалению, ситуация крайне осложняется самим языком. Почти не дебажил C# программы. К сожалению, приходилось дебажить Python-программы. Не нужно было дебажить Haskell-программы
АГ
но это как раз тот случай, когда либо вагон типов, либо
unsafeCoerce в продакшоне, так что тут очень хорошо видна граница водоразделаМы не сможем сейчас отделить рационализацию от объективных аргументов
R
Мы не сможем сейчас отделить рационализацию от объективных аргументов
есть доки. Делать выводы по ним всяко сподручнее
АГ
Не, я в этот огород не полезу
AA
Чаще всего не нужно, а не НИ В КОЕМ СЛУЧАЕ НЕ БУДЕМ
могу конечно только позавидовать тому, у кого кроме потокопроблем других никаких нет
AV
Я не записал как доктесты через breakpoint гонять 🙁
AV
>>> :break functionName
>>> innerStuff
Expected Output
?
AA
Переслано от A64m AL256m qn<co...
что-то вроде
-- |
-- >>> :step foo 3
-- ...
-- >>> bar 2
-- 50
foo :: Int -> Int
foo x = bar x where
bar y = x + y
AV
Спасибо
AA
но это, конечно, сильно странная выдумка
AA
интерсно, можно ли ghcid-ом так делать в $>
AV
кстати да, было бы интересно
ХГ
Люди склонны рационализировать однажды сделанный выбор, даже если он не был рациональным сам по себе (что в вашем случае, я не знаю, но сам понимаешь, мы находимся на разных сторонах баррикад)
Вот поэтому я и изучаю Хаскель, хотя он мне не нравится.
AV
Люди склонны рационализировать однажды сделанный выбор, даже если он не был рациональным сам по себе (что в вашем случае, я не знаю, но сам понимаешь, мы находимся на разных сторонах баррикад)
Никогда ещё Штирлиц не был так близко к провалу
YS
АГ
Никогда ещё Штирлиц не был так близко к провалу
Не исключено. Но ты не можешь не признать, что я в своем подходе зашел очень далеко, дальше, чем кто-либо
AV
дальше, чем кто-либо в направлениях связанных со свободными структурами? Вполне возможно, у меня не хватает экспертизы, чтобы согласиться или опровергнуть, но то, что в топе людей в этом направлении - это да
YS
дальше, чем кто-либо в направлениях связанных со свободными структурами? Вполне возможно, у меня не хватает экспертизы, чтобы согласиться или опровергнуть, но то, что в топе людей в этом направлении - это да
Всегда есть 10-летний кореец...