KV
Сергей
а если тип полиморфный то не будет ?
Вроде не будет, по крайней мере в репле точно не будет
Size: a a a
2021 January 06
KV
Но я бы на вашем месте проверил конечно (мне лень)
С
Но я бы на вашем месте проверил конечно (мне лень)
не знаю правильный ли я выбрал метод проверки, но с [Int] единичка выводится 1 раз
С
вы правы
KV
Какие-то оптимизации компилятора смотрят на наличие ансейфов, к слову, не знаю, влияет ли это здесь
С
можно как то по другому проверить?
MK
можно смотреть на core
MK
флаг
-ddump-simplMK
но там новичку сложно разобраться
С
с телефона я такое не сделаю(
AS
С
получается так
AS
Прикольно
MK
я думаю с оптимизацией он сначала специализирует полиморфное, а потом уже мемоизирует как обычное
MK
можно попробовать с NOINLINE и двумя модулями проверить
AS
Можно попробовать
print (b :: [Int])