Pertanyaan yang diberi tag «algebraic-data-types»

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 2Xuntuk X+Xsebagainya, kita kemudian dapat mendefinisikan ekspresi aljabar untuk …

289 haskell  functional-programming  algebraic-data-types  miranda 

Cukup mudah untuk merepresentasikan pohon atau daftar di haskell menggunakan tipe data aljabar. Tapi bagaimana Anda akan merepresentasikan grafik secara tipografis? Sepertinya Anda perlu memiliki petunjuk. Saya menduga Anda bisa mendapatkan sesuatu seperti type Nodetag = String type Neighbours = [Nodetag] data Node a = Node a Nodetag Neighbours Dan …

125 haskell  types  graph  functional-programming  algebraic-data-types 

Bagaimana saya dapat menemukan jumlah memori sebenarnya yang diperlukan untuk menyimpan nilai beberapa tipe data di Haskell (kebanyakan dengan GHC)? Apakah mungkin untuk mengevaluasinya pada saat runtime (misalnya dalam GHCi) atau mungkinkah untuk memperkirakan kebutuhan memori tipe data gabungan dari komponennya? Secara umum, jika kebutuhan memori tipe adan bdiketahui, apa …

124 haskell  memory-management  ghc  algebraic-data-types 

The seasonFungsi menggunakan fungsi aljabar tapi aku merasa seperti kode berulang-ulang. Bagaimana saya membuatnya sesingkat mungkin? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = Spring | Summer | …

12 haskell  algebraic-data-types