Sử dụng bộ nhớ của nhà xây dựng trong Haskell

Question

thể trùng lặp:
Memory footprint of Haskell data types

Khi giải các bài toán tổ hợp, tôi sẽ thường xuyên đại diện cho giải pháp như là một chuỗi bit, ví dụ. 1010100010110111000110 ... Bạn nhận được hình ảnh.

I figured rằng khi tôi sử dụng [Int] cho chuỗi bit, Int luôn dành cùng một lượng bộ nhớ, bất kể lớn như thế nào số lượng thực sự là (vì Int nó bị chặn, trái ngược với Integer), như máy tính chỉ nhớ đại diện bit, và String 's sẽ mất nhiều không gian hơn như xa như tôi biết.

Ý tưởng của tôi là sau đó sử dụng các kiểu dữ liệu

data Bits = Empty | Zero Bits | One Bits deriving (Eq,Ord,Show) 

Nhưng bao nhiêu bộ nhớ làm các nhà thầu Empty, Zero và One sử dụng so với Int 's?

Answer 1

Int chi phí hai từ trong bộ nhớ (#I constructor và #Int trường), dữ liệu Bits bạn có thể sử dụng chi phí khác nhau, ví dụ: Zero (One (Zero Empty)) sẽ có giá:

1. Một từ cho Empty constructor
2. Hai từ cho Zero Constructor and field
3. Hai từ cho One Constructor và field
4. Hai từ cho Zero Constructor và field

và tổng chi phí - 7 từ. Vì vậy, số lượng bộ nhớ cho dữ liệu của bạn có thể lớn hơn cho Int.