Xác định trường hợp đơn vị scalaz cho danh sách không có hình dạng

Question

Tôi đã cố gắng xác định Monad (scalaz) cho shapeless HList thông qua point và bind triển khai. Vấn đề đầu tiên là đặc điểm HList không phải là kiểu hàm dựng, nhưng có thể được giải quyết bằng kiểu lambdas, point là đơn giản, nhưng tôi không thể tìm được cách thực hiện đúng cho bind, tôi đoán tôi cần một số chức năng kiểu Poly1 với một số thủ thuật Aux/Mapper , nhưng mặt bất lực đó vẫn còn tối với tôi. HList có tất cả các chức năng để trở thành một Monad, như Danh sách đơn giản, do đó, có thể thực hiện một từ Scalaz không?

Answer 1

Monoid là tập hợp với một số thao tác tuân theo luật cụ thể. Bạn đang xem xét những yếu tố nào nhất có thể HListM[A]? Nếu bạn khai báo HListM[A] = HList, tức là bất kỳ HList, thì bạn sẽ nhanh chóng thấy rằng bạn không thể map với f: A => B, ngoại trừ bằng cách xử lý tất cả map s làm identity và bạn đã tạo lại một đơn vị khá thú vị Id (với một vài người bổ sung nhưng trơ).

Chúng ta có thể làm cho một đơn nguyên với kiểu HListM[A] = A :: ... :: A :: HNil (mặc dù thậm chí thực sự bày tỏ rằng gõ vào Scala là một thách thức - bạn cần một đặc điểm phụ trợ trait CopiesOf[N <: Nat, A] {type Out <: HList}, implicit s để cung cấp các trường hợp này, và sau đó là một hiện sinh để thực sự viết nó (CopiesOf[N, A]#Out forSome {type N <: Nat})). Việc viết các thao tác đơn lẻ cho điều này là có thể, mặc dù bạn cần phải yêu cầu các lớp phụ trợ không may như Prepend tại thời điểm hoạt động, vì không có cách nào thực sự thể hiện kiểu "forall" trong Scala - bạn có thể khai báo các kiểu của bạn cho _0 và Succ[N], nhưng không có cách nào để chứng minh cho trình biên dịch rằng có một cá thể cho bất kỳ N <: Nat nào, bạn chỉ cần yêu cầu những trình ẩn ngữ bất cứ khi nào bạn cần sử dụng chúng.

Nhưng sau rất nhiều công việc, bạn sẽ kết thúc với một cái gì đó không đồng nhất với List[A]; tại sao không chỉ sử dụng List[A] cho trường hợp đó?