Haskell không có loại

Question

Có thể tắt hoặc làm việc xung quanh hệ thống kiểu trong Haskell không? Có những tình huống mà thuận tiện để có mọi thứ không được phân loại như trong Forth và BCPL hoặc được định kiểu đơn như trong Mathematica. Tôi đang suy nghĩ dọc theo các dòng tuyên bố tất cả mọi thứ như cùng một loại hoặc vô hiệu hóa loại kiểm tra hoàn toàn.

Chỉnh sửa: Theo nguyên tắc SO, đây là một câu hỏi kỹ thuật hẹp, không phải là yêu cầu thảo luận về giá trị tương đối của các phương pháp lập trình khác nhau. Để thuật lại câu hỏi, "Haskell có thể được sử dụng theo cách sao cho tránh được xung đột loại là hoàn toàn trách nhiệm của lập trình viên?"

Answer 1

Ngoài ra, hãy xem Data.Dynamic cho phép bạn có các giá trị được nhập động trong các phần của mã mà không vô hiệu hóa kiểm tra loại trong suốt.

Answer 2

GHC 7.6 (không được công bố chưa) có một tính năng tương tự, -fdefer-type-errors:

http://hackage.haskell.org/trac/ghc/wiki/DeferErrorsToRuntime

Nó sẽ hoãn tất cả các lỗi loại cho đến khi thời gian chạy. Nó không thực sự lộn xộn nhưng nó cho phép gần như tự do.

Answer 3

Ngay cả với fdefer-type-errors người ta sẽ không tránh hệ thống kiểu. Nó cũng không thực sự cho phép độc lập kiểu. Điểm của lá cờ là cho phép mã có lỗi loại biên dịch, miễn là các lỗi không được gọi bởi hàm Main. Đặc biệt, bất kỳ mã nào có lỗi kiểu, khi thực sự được gọi bởi một trình thông dịch Haskell, sẽ vẫn thất bại.

Trong khi triển vọng của các chức năng không được định kiểu trong Haskell có thể hấp dẫn, điều đáng chú ý là hệ thống kiểu thực sự là trọng tâm của ngôn ngữ. Mã này chứng tỏ chức năng của nó trong biên dịch, và độ cứng của hệ thống kiểu ngăn một số lượng lớn các lỗi.

Có lẽ nếu bạn đưa ra một ví dụ cụ thể về sự cố bạn đang gặp phải, cộng đồng có thể giải quyết vấn đề đó. Interconverting giữa các loại số là một cái gì đó mà tôi đã hỏi về trước, và có một số thủ thuật tốt.