Arı (programlama)

Arı, yan etkiye neden olmayan ve yan etkilerden etkilenmeyen. Bir işlev, çalışması esnasında evrensel değişkenlerin etkisinde kalıyor veya evrensel değişkenleri etkiliyorsa ve dolayısıyla bu işlevin, argumanların değeri aynı kalıyor olmasına rağmen her çağrıldığında farklı sonuçlara neden olma ihtimali varsa arı değildir.

Bir işlevin arı olması, programlama hatalarını azaltır ve hataların yakalanmasını kolaylaştırır.

Haskell gibi arı işlevsel dillerde, dilin kendisi arıdır. Yalnız bir programlama dilinin hiçbir şekilde evrensel değişkenlerle etkileşememesi, dili işlevsiz kılacağı için bu dillerde I/O işlemleri, monadlar ile korumalı alanlarda güvenli bir şekilde yapılır.