Насколько чистой и ленивой может быть Scala?

Это только один из тех вопросов типа "мне было интересно ..." .

Scala имеет неизменяемые структуры данных и (необязательно) ленивые значения и т. Д.

Насколько близка программа Scala к полностью чистой (в смысле функционального программирования) и полностью ленивой (или, как указывает Инго, может ли он быть достаточно нестрогим)? Какие значения неизбежно изменяются, а какие оценки неизбежно жадны?