Programlama Dili Teorisi ve Soyut Cebir

Soyut Cebirin Programlama Dili Teorisine herhangi bir uygulaması var mı? Dil tasarımı ve derleyici uygulamasında yararlı olacak herhangi bir şey var mı?

Kelimenin klasik anlamındaki cebir, cebirsel işlemler olarak hesaplama etkilerinin modellenmesinde kullanılır, örneğin Gordon Plotkin'in bu slaytlarına bakın veya gerçek kağıtları ve doktora okuyabilirsiniz . tezler , aslında soru sormak istedim eğer.

Ve kendi boynuzumu patlatmak, Eff'e bir göz atmak ve bunu okumak için , hesaplama etkilerinin cebirsel işlemler olduğu ve işleyicilerin cebirlerin homomorfizmi olduğu fikri etrafında tasarlanmış bir dil.

Cevap vermekte tereddüt ettim çünkü basit bir "evet" in ötesinde herhangi bir cevap, hacimleri doldurabilir ve doldurur. Programlama dili anlambilimi derinden şekillenmiştir ve buna göre cebirin mantığa uygulanması olan kategorik mantığın gelişimini derinden şekillendirmiştir.

Ancak bu soruyu cevaplamanın en iyi yolunun Agda'yı öğrenmenizi söylemekten şüpheliyim - bağımlı türlerle programlamayı öğrenme deneyimi büyük ölçüde cebirin bilgisayar programlamasını ne kadar kapsamlı şekilde ele aldığını gösteriyor.

Aslında teorik soyut cebir için bir yazılım var. Bu yumuşak eylem grupları, Homomorfizm vb.Gibi bazı şeylerin hesaplanmasına izin verir ... Magma: http://magma.maths.usyd.edu.au/magma/

umuyorum ki bu sana yardım edebilir.