MK
Хорошо когда есть человек знающий историю
они были, правда, неюзабельные даже без учета того что кабалом тогда не поддерживались, потому что type фичи для переименования типов не было
https://gist.github.com/klapaucius/0f372b21d9c1b1d6dcd2
Size: a a a
2020 November 04
MK
они были, правда, неюзабельные даже без учета того что кабалом тогда не поддерживались, потому что type фичи для переименования типов не было
https://gist.github.com/klapaucius/0f372b21d9c1b1d6dcd2
https://gist.github.com/klapaucius/0f372b21d9c1b1d6dcd2
И где следующий раз?)
AA
следующий раз снойман запретил
KV
$ ghci +RTS -M20m
GHCi, version 8.8.4: https://www.haskell.org/ghc/ :? for help
package flags have changed, resetting and loading new packages...
Haskell> import Data.List
Haskell> foldl' (+) 0 [1..10^6]
500000500000
Haskell>
Leaving GHCi.
$ ghci +RTS -M20m
GHCi, version 8.8.4: https://www.haskell.org/ghc/ :? for help
package flags have changed, resetting and loading new packages...
Haskell> import Data.List
Haskell> :t foldl'
foldl' :: Foldable t => (b -> a -> b) -> b -> t a -> b
Haskell> foldl' (+) 0 [1..10^6]
ghc: panic! (the 'impossible' happened)
(GHC version 8.8.4 for x86_64-unknown-linux):
heap overflow
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
Если посмотреть тип сначала, то валится, а если не смотреть, то не валится
NI
Репорть, чо.
KV
Что за квантовая механика
AA
ну так аллокации разные
AA
у гхци и у исполняющегося кода один хип будет
AA
> ghci +RTS -A8K -M7750K
GHCi, version 8.10.1: https://www.haskell.org/ghc/ :? for help
Prelude> :t foldl
*** Exception: heap overflow
KV
ну так аллокации разные
А в чём именно разница
AA
ну в аллокациях для :t foldl'
KV
Но проблема же в вычислении. Как оно может отожрать или не отожрать 20 мегов в зависимости от наличия :t
AA
Но проблема же в вычислении. Как оно может отожрать или не отожрать 20 мегов в зависимости от наличия :t
но отжирает ~20 мегов + сколько-то кб после вычисления :t foldl'
KV
Без :t можно и до 10^9 считать, не поперхнётся
А с :t свалится и на 10^3
А с :t свалится и на 10^3
AA
невероятно, программе на хачкеле чтоб что-то сделать надо память занимать
AA
никогда такого не было
KV
Т. е. смысл в том, что команда :t отжирает десятки мегабайт
AA
ну и?
KV
Это просто вопрос, если так, то понятно и неудивительно
Ну разве что ещё хочется понять, фигли оно паникует вместо обычного эксепшена
Ну разве что ещё хочется понять, фигли оно паникует вместо обычного эксепшена