Size: a a a

2020 May 16

AV

Alexander Vershilov in haskell_blah
Хотя тут есть какая-то упячка с завершением варпа, у нас при переключении версий целый раз 502-вылетело, чего быть никогда не должно 🙁

Но там я крайне надеюсь до необходимости использовать dtrace/lldb и прочее не дойдёт
источник

LO

Leonid 🦇 Onokhov in haskell_blah
Знаю писунов на плюсах которые пишут код не выходя из дебура.
Репла то нет.
Ну один из них любитель процедур на тыщу строк потому что разбивая код на маленькие процедуры "непонятно что происходит, а так всё перед глазами"
Ну и адов копипаст
источник

LO

Leonid 🦇 Onokhov in haskell_blah
И const только мешает, да
источник

A

Antonio in haskell_blah
> не выходя из дебура.
> Репла то нет.
swift детектед
источник

AV

Alexander Vershilov in haskell_blah
дебагер это ж репл
источник

AV

Alexander Vershilov in haskell_blah
код писать можно евалить можно, окружение есть
источник

AV

Alexander Vershilov in haskell_blah
автодополнение есть! pretty-printing значений
источник

AA

A64m AL256m qn<co... in haskell_blah
это уж очень крутой отладчик, такое не везде было да и есть, хотя я уже давно не писал на языках с тулингом
источник

AV

Alexander Vershilov in haskell_blah
for some definition of pretty printing
источник

AA

A64m AL256m qn<co... in haskell_blah
может в 2020 это в них норма уже
источник

AV

Alexander Vershilov in haskell_blah
Ну структурки сишные он раскрывает и очень понятно пишет
источник

AV

Alexander Vershilov in haskell_blah
вполне себе show из коробки
источник

AV

Alexander Vershilov in haskell_blah
Ещё и с возможностью hex/строка/бинарные данные
источник
2020 May 17

LO

Leonid 🦇 Onokhov in haskell_blah
Под msvc норм дебугер. Не то что гдб
источник

LO

Leonid 🦇 Onokhov in haskell_blah
Правда тормозной
источник

R

Roman in haskell_blah
источник

R

Roman in haskell_blah
хотя наверное иррелевантно, я там фримонады нашел только на стороне Кока: https://github.com/FreeProving/free-compiler/blob/d481b80f95d69e015a07024d649d385c29e16ca7/base/Free/Monad.v

и как полагается, это не хаскельная фримонада, а типотеоретическая
источник

AG

Alex Gryzlov in haskell_blah
это ж вроде какая то вариация на тему partiality monad
источник

R

Roman in haskell_blah
Alex Gryzlov
это ж вроде какая то вариация на тему partiality monad
насколько я понимаю, partiality monad получится, если применить Free к определенному функтору
источник

R

Roman in haskell_blah
поправка: не к функтору, а к типотеоретическому контейнеру, поскольку конструктивный сеттинг
источник