8
Tại sao 5 :: Sum Integer làm việc trong các thông dịch viên nhưng với mộtTại sao 5 :: Sum Integer làm việc theo nghĩa đen?
newtype NovoTipo a = NovoTipo a
6 :: NovoTipo Integer không hoạt động?
A
Trả lời
16
Bạn có thể viết các chữ số cho bất kỳ loại nào có phiên bản Num. Sumhas it, trong khi kiểu mới của bạn thì không.
Bạn có thể bật GeneralizedNewtypeDeriving trong ghci theo cách sau:
:set -XGeneralizedNewtypeDeriving
Sau đó, bạn có thể viết:
newtype NovoTipo a = NovoTipo a deriving (Num)
Và sau đó 6 :: NovoTipo Integer nổi gõ.
Các vấn đề liên quan
- 1. Gõ một chuỗi C++ theo nghĩa đen
- 2. Tại sao .json() trả về lời hứa nếu trong một đối tượng theo nghĩa đen?
- 3. Nhóm Java Integer. Tại sao?
- 4. Tại sao một số loại không có biến tố theo nghĩa đen
- 5. Tại sao biến Integer được gán null theo mặc định?
- 6. Đa nguyên hàm theo nghĩa đen trong Scala
- 7. Trình tự thoát không hợp lệ theo nghĩa đen: "\ b"
- 8. md5() làm việc với nghĩa đen, nhưng không phải với dữ liệu cột
- 9. sử dụng "d" trong hàm theo nghĩa đen trong D3?
- 10. Từ khóa "gốc" và "theo nghĩa đen" là gì
- 11. Integer chuỗi các ký tự từ người dùng định nghĩa chuỗi lấy nghĩa đen là tham số
- 12. Đối tượng Javascript theo nghĩa đen: khởi tạo giá trị?
- 13. biến tham chiếu trong đối tượng theo nghĩa đen?
- 14. Nội dung theo nghĩa đen không được phép trong UserControl
- 15. Phân bổ sâu đối tượng JavaScript theo nghĩa đen
- 16. Scala: Có thể tham chiếu theo nghĩa đen?
- 17. Tại sao data.table mất định nghĩa lớp trong .SD sau khi nhóm theo?
- 18. Làm cách nào để chỉ định trình khởi tạo theo nghĩa đen cho Stack hoặc Queue?
- 19. JavaScript biểu thức chính quy vẫn tồn tại theo nghĩa đen giữa chức năng gọi
- 20. Tại sao mẫu đối sánh này không thể truy cập được khi sử dụng các mẫu không theo nghĩa đen?
- 21. Tại sao tôi không thể truy cập trực tiếp vào một thuộc tính của một đối tượng theo nghĩa đen?
- 22. Tại sao UINavigationBar chuyển sang màu đen?
- 23. Đối tượng Javascript theo nghĩa đen. object [i] .variable
- 24. Cho một đối tượng theo nghĩa đen vào ILGenerator
- 25. enum các giá trị không theo nghĩa đen trong Swift
- 26. Tại sao việc thêm một thuộc tính vào nguyên mẫu của đối tượng theo nghĩa đen thay đổi "kiểu" của nó?
- 27. 0xFF0000FF Một số nguyên theo nghĩa đen không phù hợp với các loại dự kiến kotlin.Int
- 28. Struct là phi nghĩa đen loại
- 29. Haskell: CóKhông có loại lớp. Tại sao lại là Integer?
- 30. Tại sao xsd.exe tạo thuộc tính chuỗi cho xs: integer?
Có lẽ đáng nói rằng w/o phần mở rộng đó, thể hiện vẫn có thể được cung cấp với gói thủ công (un). –