category-theory

9Nhiệt

2Trả lời

Mối quan hệ của nếp gấp trên Tùy chọn, v.v. và gấp trên Traversable là gì?

Scalaz cung cấp một phương thức có tên fold cho các ADT khác nhau như Boolean, Option[_], Validation[_, _], Either[_, _] v.v. Phương pháp này về cơ bản có chức năng tương ứng với tất cả các trường hợp

31Nhiệt

2Trả lời

Sự khác biệt giữa monads miễn phí và fixpoints của functors?

Tôi đã đọc http://www.haskellforall.com/2013/06/from-zero-to-cooperative-threads-in-33.html trong đó một cây cú pháp trừu tượng có nguồn gốc là đơn vị miễn phí của một hàm đại diện cho một tập hợp các

9Nhiệt

1Trả lời

Mỗi đơn nguyên đều là monoid?

Vì mỗi Monad là Monoid về hoạt động sắp xếp thứ tự. Tại sao không Monad được kế thừa Monoid trong haskell?

33Nhiệt

3Trả lời

Cặp functor bổ sung tương ứng với các monads phổ biến trong Haskell là gì?

Trong lý thuyết thể loại, một đơn nguyên có thể được xây dựng từ hai functors adjoint. Đặc biệt, nếu C và D là chủng loại và F: C -> D và G: D -> C là functors liên hợp, theo nghĩa rằng có một song án

16Nhiệt

3Trả lời

Làm thế nào các functors trong Haskell liên quan đến functors trong lý thuyết thể loại?

Đối với xa như tôi hiểu, một functor là một ánh xạ giữa hai loại, ví dụ từ các đối tượng trong C http://mathurl.com/32qch9w.png đến các đối tượng trong D http://mathurl.com/36b8r37.png trong đó C http

9Nhiệt

2Trả lời

Áp dụng ngữ nghĩa cho các Monads miễn phí

Tôi đang cố gắng trừu tượng hóa mô hình áp dụng một ngữ nghĩa nhất định cho một đơn nguyên miễn phí trên một số hàm. Ví dụ đang chạy mà tôi đang sử dụng để thúc đẩy việc này là áp dụng các bản cập nhậ

11Nhiệt

1Trả lời

Lịch sử đằng sau lớp loại Functor là gì?

Tôi đang cố gắng có được sự hiểu biết sâu sắc về hệ thống phân cấp của lớp học Monad. Một phần trong đó là, tất nhiên, nhìn thấy rất nhiều ví dụ, nhưng tôi đặc biệt quan tâm đến lịch sử về cách các lớ

10Nhiệt

1Trả lời

Nó không phải là một đơn nguyên, nhưng nó là gì?

According to the Haskell wikibook, một Monad gọi m là một Functor với hai hoạt động bổ sung: unit :: a -> m a join :: m (m a) -> m a Đó là tốt đẹp, nhưng tôi có một cái gì đó hơi khác nhau. Lướt qu

16Nhiệt

1Trả lời

cao theo thứ tự ScalaCheck

Hãy xem xét các định nghĩa sau đây của một thể loại: trait Category[~>[_, _]] { def id[A]: A ~> A def compose[A, B, C](f: A ~> B)(g: B ~> C): A ~> C } Dưới đây là một ví dụ cho các chức n

6Nhiệt

3Trả lời

Monads từ mọi góc độ - Toán học, sơ đồ và chương trình

Tôi đang cố gắng hòa giải định nghĩa Phân loại của Monad với các biểu diễn/định nghĩa chung khác mà tôi đã thấy trong một số hướng dẫn/sách khác. Dưới đây, tôi (có lẽ mạnh mẽ) cố gắng để mang lại hai