a
на тайплевел это зависает и уходит в бесконечный вызов
дефункционализировать попробуй
Size: a a a
2021 February 07
ЗП
дефункционализировать попробуй
пробовал
ЗП
тоже залипает
JS
можно в хаскель на тайплвел получить поведение как на термлевел?
я имею в виду, что
я имею в виду, что
:kind! Take 10 (Iterate Inc 10)
язык типов немножко энергичный, так что бесконечные штуки не работают
ЗП
язык типов немножко энергичный, так что бесконечные штуки не работают
плохо
VZ
Про это есть тикет
MK
маленькая загадка: как в ghci дебагере потрейсить вычисление, у результата которого нету Show?
JS
маленькая загадка: как в ghci дебагере потрейсить вычисление, у результата которого нету Show?
:print, gshow
MK
я про
:traceMK
λ> data Foo = Foo Int
λ> x = Foo 42
λ> :trace x
<interactive>:4:1: error:
• No instance for (Show Foo) arising from a use of ‘print’
• In a stmt of an interactive GHCi command: print itMK
λ> :trace ...
closurePtrs: Cannot handle type TSO yet
closurePtrs: Cannot handle type TSO yet
closurePtrs: Cannot handle type TSO yetMK
красиво
MK
запилил решение блин
[
загадка от жака фреско
если Show продается как класс для дебага, и только для него, то почему же он не выводится автоматически для всех типов для которых может, как Typeable скажем?
если Show продается как класс для дебага, и только для него, то почему же он не выводится автоматически для всех типов для которых может, как Typeable скажем?
Ответ убил...
AA
загадка от жака фреско
если Show продается как класс для дебага, и только для него, то почему же он не выводится автоматически для всех типов для которых может, как Typeable скажем?
если Show продается как класс для дебага, и только для него, то почему же он не выводится автоматически для всех типов для которых может, как Typeable скажем?
выводился, когда-то, но это генерировало слишком много кода и хиленькие машины того времени не тянули.
короче, сначала по той же причине по которой щас дженерик не выводится, а потом привыкли страдать прост
короче, сначала по той же причине по которой щас дженерик не выводится, а потом привыкли страдать прост
AA
а как гадты дебажить вообще :coolstory:
гадт в хаскеле неюзабельны же все равно для них никакие удобства не работают