Có thể tạo một tập hợp api như Scala 2.8 trong Haskell không?

Question

Bộ sưu tập các bộ sưu tập Scala có một số thuộc tính khá thú vị và tôi tự hỏi làm thế nào người ta sẽ thực hiện nó trong Haskell; hoặc nếu nó thậm chí có thể (hoặc một ý tưởng tốt nói chung). Tôi là một chút của một newbie haskell vì vậy tôi muốn nghe suy nghĩ của bạn.

Định nghĩa bản đồ scala trông như thế này:

def map[B, That](f: A => B)(implicit bf: CanBuildFrom[Repr, B, That]): That 

Một tính năng thú vị của API này là nếu bạn ánh xạ qua một chuỗi và chức năng bản đồ của bạn trả về một nhân vật, kết quả sẽ là kiểu string (và không phải danh sách các ký tự).

Answer 1

Chúng tôi có thứ gì đó gần như chung chung như API Scala. Nó được gọi là Foldable.

class Foldable t where 
    fold :: Monoid m => t m -> m 
    foldMap :: Monoid m => (a -> m) -> t a -> m 
    foldr :: (a -> b -> b) -> b -> t a -> b 
    foldl :: (a -> b -> a) -> a -> t b -> a 
    foldr1 :: (a -> a -> a) -> t a -> a 
    foldl1 :: (a -> a -> a) -> t a -> a 

http://www.haskell.org/ghc/docs/6.12.2/html/libraries/base-4.2.0.1/Data-Foldable.html

Answer 2

tôi muốn nói chức năng bản đồ này trong Scala là thực sự ngày càng tiến tới từ Haskell:

fmap :: (Functor f) => (a -> b) -> f a -> f b 

Trường hợp loại danh sách chỉ là một functor.