-> IO (), и я внутри там делаю вычисление: f bigObj = void $ evaluate $ force bigObj, то компилятор же не догадается удалить вызов этой функции, так ведь? Типа, раз результат этого форсинга никому не нужен, то в /dev/null его.
результат форсинга сохранится в эффекте evaluate, а эффекты не отбрасываются
Обсуждают сегодня