Efekt, bir fonksiyonun sergileyebileceği bir davranış kategorisidir. Bir işleve özel efektler uygulanmasının bir hiyerarşisi vardır ve hiyerarşide daha yüksekte bulunan efektler, en azından kendi altlarındaki efektlerin tüm davranışlarına izin verir. Hiyerarşi şu şekildedir:
transactsvariescomputesconverges
transacts efekti, aşağıdaki efektlere ilişkin özellikleri içerecektir. varies efekti ise computes ve converges efektlerini içerirken transacts efektini içermez. Diğer efektler için de aynı mantık geçerlidir.