Menyalahgunakan aljabar tipe data aljabar - mengapa ini bekerja?

Ekspresi 'aljabar' untuk tipe data aljabar terlihat sangat sugestif bagi seseorang dengan latar belakang dalam matematika. Biarkan saya mencoba menjelaskan apa yang saya maksud. Setelah mendefinisikan tipe dasar Produk • Persatuan + Singleton X Satuan 1 dan menggunakan singkatan X²untuk X•Xdan...