Chỉ có một loại số trong thiết kế ngôn ngữ

Tôi hiện đang tìm hiểu về xây dựng trình biên dịch và thiết kế ngôn ngữ và tôi đang suy nghĩ về những kiểu dữ liệu bản địa nào tôi muốn hỗ trợ trong ngôn ngữ của mình. Bây giờ có rất nhiều ngôn ngữ tạo ra sự khác biệt giữa số nguyên và số thực. Tuy nhiên, tôi nhớ đã xem một cuộc nói chuyện của Douglas Crockford, trong đó ông nói:

Có một loại số duy nhất trong hệ thống có nghĩa là bạn không thể tạo ra lỗi bằng cách chọn loại số sai

Ông cũng đề cập rằng ông khuyến nghị một đại diện số khác với IEEE-754 thường được sử dụng (vui lòng sửa cho tôi nếu tôi sai), được đặt tên là DEC64. Do đó, câu hỏi của tôi: Đối với một ngôn ngữ có mục đích chung, chủ yếu tập trung vào giáo dục, tôi nên sử dụng đại diện số nào?

EDIT: Với trọng tâm giáo dục, tôi đang nói về sự tiến bộ của bản thân trong việc học về trình biên dịch, không phải để giáo dục người khác.

Chúng tôi có đại diện số khác nhau nói chung bởi vì chúng có điểm mạnh và điểm yếu khác nhau, có thể là tốc độ, độ chính xác hoặc phạm vi. Ngoài ra, đây phải là trường hợp vì chúng ta không thể biểu diễn tất cả các số thực với bộ nhớ hữu hạn, chúng ta luôn phải chọn một số mà chúng ta không thể biểu diễn chính xác.

Trích dẫn Doug Crockford mà bạn có là ngu ngốc ở biên giới, nếu bạn chỉ có thể chọn một đại diện thì OK, bạn không thể chọn sai, nhưng bạn cũng không thể chọn đúng. tức là sự lựa chọn duy nhất của bạn sẽ làm việc cho một số sử dụng nhưng không phải cho tất cả.

Đúng là một số đại diện có lẽ tốt hơn khi lựa chọn goto đầu tiên DEC64 có vẻ hợp lý ở đây. Đây là một biểu diễn dấu phẩy động thập phân, do đó, nó sẽ ít gây ngạc nhiên hơn so với IEEE-754 (là dấu phẩy động nhị phân) trong hầu hết các tình huống khi mọi người có xu hướng nghĩ theo số thập phân, ví dụ như nó có thể biểu thị chính xác 0,3. Nó vẫn sẽ có vấn đề về đại diện trong một số trường hợp, ví dụ như cộng các số thực sự lớn và thực sự nhỏ lại với nhau

để đọc thêm, tôi đề nghị Richard Harris 'loạt bài viết' tại sao X không sửa chữa bạn làm nổi bật các điểm xanh '

Đối với một ngôn ngữ chung, các con số nên hành xử giống như những người được dạy trong lớp toán. Chỉ những ngôn ngữ có mục đích đặc biệt, như những ngôn ngữ dành cho trình điều khiển thiết bị, mới có toán học đặc biệt.

Tôi khuyên bạn nên sử dụng các số chính xác tùy ý thay vì các số chính xác cố định. Vâng, họ chậm hơn nhưng họ cư xử như mọi người mong đợi con số hành xử. Đặt giới hạn nhân tạo lên chúng sẽ được báo cáo là một lỗi.