7
Cebirsel veri türlerinin cebirini kötüye kullanmak - bu neden işe yarıyor?
Cebirsel veri türleri için 'cebirsel' ifade, matematikte geçmişi olan birine çok düşündürücü görünmektedir. Ne demek istediğimi açıklamaya çalışayım. Temel türleri tanımlamak Ürün • Birlik + Singleton X birim 1 ve kısaltmalar kullanarak X²için X•Xve 2Xiçin X+Xve saire, o zaman bağlantılı listeleri, örneğin için ön ifadeleri tanımlayabilir data List a = …