typeclass

8Nhiệt

1Trả lời

Tại sao chú thích kiểu này trong Haskell cần thiết?

Tôi đang nghiên cứu cách tính năng nạp chồng chức năng mạnh mẽ trong GHC. Tôi đã viết đoạn mã sau: class F_third_arg a where run_f :: (Integer, a) -> Integer instance F_third_arg Integer where

16Nhiệt

5Trả lời

Loại lớp học khép kín

Có thể tạo một kiểu chữ không thể thừa nhận thành viên mới nữa (có lẽ bằng cách sử dụng các biên mô-đun)? Tôi có thể từ chối xuất một hàm cần thiết cho một định nghĩa cá thể hoàn chỉnh, nhưng điều đó

17Nhiệt

3Trả lời

Monoid vs MonadPlus

Tôi rất mới đối với cả hai Monads và Monoids và gần đây cũng đã tìm hiểu về MonadPlus. Từ những gì tôi thấy, Monoid và MonadPlus đều cung cấp loại có hoạt động nhị phân kết hợp và nhận dạng. (Tôi muốn

7Nhiệt

1Trả lời

Các trường hợp Eq và Ord không nhất quán?

Tôi có một chương trình Haskell lớn đang chạy chậm chạp. Profiling và thử nghiệm đã tiết lộ rằng một phần lớn thời gian là chi tiêu so sánh bình đẳng và thứ tự của một kiểu dữ liệu lớn cụ thể rất quan

7Nhiệt

1Trả lời

Haskell: Ứng dụng gia đình từ đồng nghĩa không hợp lệ trong ví dụ

Tôi đang làm việc với các ngôn ngữ được nhúng trong Haskell. Ngôn ngữ của tôi có thể được in ra dưới dạng mã nguồn, vì vậy tôi đã tạo một lớp Compile và tạo một cá thể lớp cho mọi phần tử chương trình

9Nhiệt

1Trả lời

Xem định nghĩa Typeclass trong ghci cho một kiểu cụ thể

Có cách nào để xem định nghĩa Typeclass trong ghci cho một loại cụ thể không? Ví dụ, Maybe được định nghĩa như thế này: instance Functor Maybe where fmap f (Just x) = Just (f x) fmap f Nothi

11Nhiệt

2Trả lời

Haskell: Các kiểu chữ có thể xác định các loại (các đặc điểm kiểu ala)

Có thể có một kiểu là một phần của typeclass không? Một cái gì đó như: class KeyTraits v where keyType :: * key :: v -> keyType data TableRow = { date :: Date, metaData :: String, value ::

6Nhiệt

1Trả lời

Deconstruction loại trong định nghĩa typeclass (Haskell)

Tôi không chắc chắn nếu tiêu đề là mô tả đủ nhưng tôi không phải là rất có kinh nghiệm trong Haskell. Tôi muốn thực hiện một typeclass cho nhà xây dựng kiểu hai tham số mà phụ thuộc vào các loại mà cá

20Nhiệt

1Trả lời

Làm thế nào để tự động tạo ra (và xem mã cho) Đọc và Show ở Haskell

Vì vậy, trong Haskell, nó thực sự dễ dàng để làm điều này: data Foo = Bar | Baz deriving (Read, Show) này là rất tốt, nhưng tôi muốn để có thể để truyền một số dữ liệu dưới dạng chuỗi từ Haskel

5Nhiệt

2Trả lời

Bộ chọn bản ghi trong các Loại Lớp của Haskell

Tôi muốn triển khai Type Class với một vài phương pháp mặc định, nhưng tôi gặp lỗi, rằng tôi không thể sử dụng record selectors bên trong các định nghĩa type classes. Mã sau về cơ bản tạo type class x