() nghĩa là gì trong trình tạo dữ liệu?

Question

Tôi đang đọc mã nguồn của Data.Map và tôi thấy rằng!() Được sử dụng trong hàm tạo dữ liệu của data Map k a.

data Map k a = Tip 
       | Bin {-# UNPACK #-} !Size !k a !(Map k a) !(Map k a) 

Tôi thấy rằng số !() không ảnh hưởng đến cách vỗ phù hợp với dữ liệu. Trong chức năng của mapWithKey, kết hợp patten vẫn còn cho 5 thứ. Vì vậy, tôi không coi nó như là một nhà điều hành.

mapWithKey f (Bin sx kx x l r) 

Sau khi googleing, tôi thấy rằng !() có thể liên quan đến -XBangPatterns được sử dụng để đánh giá lười biếng. Tôi có đúng không? Hay là vì mục đích khác?

Answer 1

! trong khai báo kiểu dữ liệu được sử dụng để cho biết mức độ nghiêm ngặt. Nếu chúng tôi search for it on Hoogle, chúng tôi sẽ thấy liên kết đến keyword !, giải thích hành vi này. Báo cáo defines hành vi chính xác.

Trong data Foo = Foo ... !T ..., hàm tạo Foo buộc đối số của nó, tức là Foo ... x ... = x `seq` RealFoo ... x .... trong đó RealFoo là hàm tạo mà bạn sẽ nhận được mà không cần !.

{-# UNPACK #-} là phần mở rộng GHC có nghĩa là Size (tức là Int) được lưu trữ không được hộp, trực tiếp như một phần của loại dữ liệu.

Answer 2

Trong trình tạo dữ liệu! cho biết các đối số được đánh giá là loại được xây dựng. Lực lượng này có chức năng được đánh giá và giúp bạn kiểm soát các yêu cầu về không gian của ứng dụng của bạn.

Trang trình bày high-performance Haskell trình bày chi tiết hơn.