Khi nào nên chọn 'Tự nhiên' trên 'Số nguyên' trong Haskell?

Question

Cách đây không lâu tôi đã phát hiện Natural loại dữ liệu trong base. Đó là nghĩa vụ phải được thực hiện (như nó có vẻ với tôi) khi bạn định sử dụng loại số nguyên không âm. Nhưng không rõ tại sao tôi nên thích Natural đến Integer. Cả hai loại có độ chính xác tùy ý, cả hai đều có đại diện thời gian chạy khá được tối ưu hóa - Integer representation và Natural representation. Nhưng Naturalcan throw pure exceptions khi bạn trừ số tự nhiên và điều này không thực sự thêm nhiều loại an toàn hơn cho mã của bạn. Trong khi Integer phổ biến hơn trên tất cả các gói.

Vậy khi nào và tại sao tôi nên sử dụng Natural?

Answer 1

Tôi không thấy lý do bạn muốn sử dụng Natural hoặc Integer. Tại sao không sử dụng Rational thay thế? Đó là độ chính xác tùy ý, có biểu diễn thời gian chạy được tối ưu hóa và hoạt động cho các số nguyên, số nguyên, và hợp lý!

Quan điểm của tôi là chúng ta nên chọn một loại có ý nghĩa ngữ nghĩa. Cho phép đếm các ngôi nhà trên đường phố với naturals, ghi lại trò chơi golf tiếp theo của chúng tôi với số nguyên, và chia một chiếc bánh blueberry tươi với hợp lý.