Yigin (stack) temelli programlama bir programlama paradigmasidir. Bu tur programlama diller bir yada birden fazla yigini manipule ederek sonuclara ulasirlar. Ornek vermek gerekirse
//programa girdik su anda stackte hic bir sey yok
[ ]
1 // stack e 1 ekledik [1]
2 // stacke 2 ekledik [1,2]
+ // toplama islemi [3]
dup // stackteki son elemani kopyala [3,3]
drop // stackteki son elemani yoket [3]
drop // [ ]
kare = dup * ; // fonksiyon tanimla
4 kare // fonksiyonu cagir [ 4 dup * ] -> [ 4 4 * ] -> [ 16 ]
Goruldugu uzere yigin temelli programlama ters polonya notasyonunu kullaniyor ve degiskenlere ihtiyac duymuyor. Bu paradigmada calisan goze carpan diller Forth, Joy, Kitten ve Factor.
Gunumuzde cogu mikroislemci forth interpretteri ile birlikte gelir. Kitten staticly typed (turkcesini bilemedim) ve fonksiyonel programlama dillerine yakin (hindley milner e benzer bir tip kontrol etme algoritmasi kullaniyor) . Joy yigin temelli programlama ve SKI kombinator kalkulu arasinda baglanti kurdugu icin ilginctir. Factor ise daha nesne tabanli programlamaya yakin ve buyuk bir standart kutuphanesi var (diger dillere nazaran).