Ahli : Masuk |Pendaftaran |Naik pengetahuan
Carian
Jenis data algebra [Pengubahsuaian ]
Dalam pengaturcaraan komputer, khususnya teori pengaturcaraan dan jenis, jenis data algebra adalah sejenis jenis komposit, iaitu jenis yang dibentuk dengan menggabungkan jenis lain.
Dua jenis kelas algebra yang biasa adalah jenis produk (iaitu, tupel dan rekod) dan jenis wang, juga dipanggil tag atau kesatuan sekatan atau variasi.
Nilai-nilai jenis produk biasanya mengandungi beberapa nilai, yang disebut medan. Semua nilai jenis tersebut mempunyai kombinasi jenis medan yang sama. Set semua nilai yang mungkin bagi jenis produk ialah produk set-teoretik, iaitu produk Cartesian, dari set semua nilai mungkin jenis medannya.
Nilai-nilai dari suatu jenis nilai biasanya dikelompokkan ke dalam beberapa kelas, yang disebut varian. Nilai sesuatu jenis variasi biasanya dibuat dengan entiti fasa-fungsional yang dipanggil pembina. Setiap varian mempunyai pembina sendiri, yang mengambil sejumlah argumen tertentu dengan jenis tertentu. Set semua nilai yang mungkin bagi satu jenis jumlah adalah jumlah set-teoretis, iaitu, kesatuan yang disisih, daripada semua nilai kemungkinan variannya. Jenis enumerasi adalah kes khas jenis wang di mana para pembina tidak mengambil sebarang hujah, kerana satu nilai ditentukan untuk setiap pembina.
Nilai-nilai jenis algebra dianalisis dengan padanan corak, yang mengenal pasti nilai oleh pembina atau nama lapangan dan mengeluarkan data yang terkandung.
Jenis-jenis data algebra telah diperkenalkan di Hope, bahasa pengaturcaraan fungsional kecil yang dibangunkan pada tahun 1970-an di Universiti Edinburgh.
[Jenis teori][Nilai: sains komputer]
1.Contoh
2.Penjelasan
3.Teori
4.Bahasa pengaturcaraan dengan jenis data algebra
[Memuat naik More Kandungan ]


Copyright @2018 Lxjkh