Strange "một nửa thậm chí" làm tròn bằng các ngôn ngữ khác nhau

Question

GNU bash, phiên bản 4.2.24:

$> printf "%.0f, %.0f\n" 48.5 49.5 
48, 50 

của Ruby 1.8.7

> printf("%.0f, %.0f\n", 48.5, 49.5) 
48, 50 

Perl 5.12.4

$> perl -e 'printf("%.0f, %.0f\n", 48.5, 49.5)' 
48, 50 

gcc 4.5.3:

> printf("%.0f, %.0f\n", 48.5, 49.5); 
48, 50 

GHC, phiên bản 7.0.4:

> printf "%.0f, %.0f\n" 48.5 49.5 
49, 50 

---

Wikipedia nói rằng loại tròn được gọi là round half to even:

Đây là mặc định chế độ sử dụng trong IEEE 754 chức năng tính toán và các nhà khai thác làm tròn .

Tại sao làm tròn này được sử dụng theo mặc định trong C, Perl, Ruby và bash, nhưng không có trong Haskell?

Đây có phải là một số loại truyền thống hoặc tiêu chuẩn không? Và nếu nó là một tiêu chuẩn, tại sao nó được sử dụng bởi những ngôn ngữ đó và không được sử dụng bởi Haskell? Một điểm làm tròn nửa là gì?

Answer 1

GHCi> round 48.5 
48 
GHCi> round 49.5 
50 

Sự khác biệt duy nhất là printf không sử dụng round - có lẽ vì nó có để có thể làm tròn đến nhiều hơn chỉ là toàn bộ số nguyên. Tôi không nghĩ IEEE 754 chỉ định bất cứ điều gì về cách thực hiện các chức năng định dạng kiểu dáng printf, chỉ làm tròn mà Haskell thực hiện chính xác.

Nó có lẽ sẽ là tốt nhất nếu printf nhất quán với round và triển khai các ngôn ngữ khác, nhưng tôi không nghĩ nó thực sự là một vấn đề lớn.

Answer 2

Tôi không thể nói chắc chắn, nhưng điều này có thể phải làm với thực tế là loại làm tròn này thường được sử dụng trong các chức năng kế toán, vì điều này còn được gọi là làm tròn của ngân hàng. Nếu bạn nhìn xa hơn bài viết trên Wikipedia về làm tròn, bạn cũng sẽ nhận thấy điều này là mặc định trong IEEE 754, vì vậy khả năng Haskell không tuân theo tiêu chuẩn đó.

Answer 3

"Round to even" là mặc định để sử dụng với IEEE 754. Haskell có lẽ nên chuyển sang sử dụng nó trong printf vì lý do nhất quán. Dòng tương ứng của mã là trong GHC.Float

f 0 (x:_) = (if x >= b2 then 1 else 0, []) 

Vì vậy, nếu ai đó muốn sửa chữa nó, họ có thể. Như ehird chỉ ra, điều này sẽ chỉ làm cho chức năng roundTo đang được sử dụng bởi printf phù hợp với round mặc dù tôi không chắc chắn mã khác thay đổi này sẽ phá vỡ.

EDIT: phiên bản trước của câu trả lời này có vị trí của mã làm tròn sai. Sự khác biệt đáng kể duy nhất giữa hai lần triển khai là nếu chúng được mã hóa cứng để sử dụng cơ sở 10.