rt.scala

// Mohli bychom se hádat, jestli tato funkce mění stav, ale referenčně transparentní rozhodně není:
def f = new java.io.File("/tmp").exists

// Tato funkce nemění stav, ale referenčně transparentní není:
def g(x: String) = new java.io.File(x).exists

object Foo{
	var invocationCount: Int = 0
	
	def h(x: Int){
		invocationCount += 1
		// A jdeme do extrému: Tato funkce teoreticky mění stav, ale jde o naprosto neužitečný stav, takže je RT.
		x+1
	}
	
}