Cabbage.hs: module Cabbage where
class Cabbage a
where foo :: a -> String -- the parameter is only present for its type,
-- the parameter value will be ignored
bar :: String -
Vì vậy, tôi có một cặp kiểu chữ mà tôi sẽ sử dụng rất nhiều với nhau, và tôi muốn tránh chỉ định cả hai lần. Về cơ bản, thay vì đặt :: (Ord a, Fractional a, Ord b, Fractional b, ... Ord z, Fractional
Tôi đang cố gắng làm một số trừu tượng trong Haskell98 nhưng doen't biết cách thực hiện. Điều tôi muốn làm là xác định lớp cho các loại có thể được chuyển đổi thành danh sách. toList :: a -> [b]
Như