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...