Я сделал очень трудоемкий алгоритм, который в результате выдает короткую строку. Когда я пытаюсь распечатать его (через putStrLn), он появляется на экране посимвольно. Я понял, почему это произошло, и попытался принудительно оценить строку перед фактической печатью.
myPrint !str = putStrLn str
Но это помогает очень мало. Когда я запускал программу в режиме отладки, я заметил, что !str принудительно оценивает только первый символ.
Кто-нибудь знает, почему так и как с этим бороться?
(!) преобразуется в seq, что оценивается строго как нормальная форма Weak Head, то есть оценивается только как самый внешний конструктор. Для более глубокой оценки вам нужна «глубокая» форма seq.
Это известно как deepseq.
Он находится в пакете deepseq.
:, что объясняет, почему он принудительно использует только первый символ строки.
- person Dan Burton; 06.04.2011
(), например. seq (seqList xs) (doSomethingWith xs). Даже в этом случае будет задействована только корень списка, а не отдельные элементы (не то, чтобы простое принудительное использование корешка бесполезно). Может быть сложно получить правильную строгость!
- person John L; 06.04.2011
seqList в последней строке.
- person John L; 06.04.2011
