Câu hỏi được gắn thẻ «category-theory»

Lý thuyết phạm trù được sử dụng để chính thức hóa toán học và các khái niệm của nó như một tập hợp các đối tượng và mũi tên (còn được gọi là các hình thái). Lý thuyết phạm trù có thể được sử dụng để chính thức hóa các khái niệm trừu tượng cấp cao khác như lý thuyết tập hợp, lý thuyết vành và lý thuyết nhóm. (Bởi Steve Awodey)

Là lý thuyết thể loại hữu ích cho việc học lập trình chức năng?

Tôi đang học Haskell và tôi bị mê hoặc bởi ngôn ngữ này. Tuy nhiên tôi không có nền tảng toán học hay CS nghiêm túc. Nhưng tôi là một lập trình viên phần mềm có kinh nghiệm. Tôi muốn học lý thuyết thể loại để tôi có thể trở …

118 programming-languages functional-programming category-theory

Làm thế nào là ngôn ngữ lập trình và nền tảng của toán học liên quan?

Về cơ bản tôi nhận thức được ba nền tảng cho toán học Đặt lý thuyết Lý thuyết loại Chuyên mục lý thuyết Vậy những ngôn ngữ lập trình và nền tảng của toán học liên quan đến những cách nào? CHỈNH SỬA Câu hỏi ban đầu là "Ngôn ngữ …

30 programming-languages history type-theory category-theory

Mối quan hệ giữa functor trong lý thuyết SML và Category là gì?

Cùng suy nghĩ như câu nói này của Andrej Bauer trong câu trả lời này Cộng đồng Haskell đã phát triển một số kỹ thuật lấy cảm hứng từ lý thuyết thể loại, trong đó monads được biết đến nhiều nhất nhưng không nên nhầm lẫn với monads . Mối …

24 programming-languages functional-programming category-theory

Lý thuyết Danh mục có nghĩa là gì chưa biết cách xử lý các hàm bậc cao hơn?

Khi đọc Uday Reddy của câu trả lời cho mối quan hệ giữa functors trong SML và lý thuyết Loại là gì? Tiểu bang Lý thuyết danh mục chưa biết cách xử lý các hàm bậc cao hơn. Một ngày nào đó, nó sẽ. Như tôi nghĩ lý thuyết Danh …

22 functional-programming category-theory

Thể loại lý thuyết (không) cho lập trình?

Sau khi học Haskell và các ngôn ngữ FP không thuần túy khác, tôi quyết định đọc về lý thuyết Danh mục. Sau khi hiểu rõ về lý thuyết Danh mục, tôi bắt đầu suy nghĩ về cách sử dụng các khái niệm của lý thuyết thể loại để suy …

21 functional-programming category-theory

Sự xuất hiện tự nhiên của các đơn nguyên sử dụng khung lý thuyết thể loại

Hôm nay, một cuộc nói chuyện của Henning Kerstan ("Trace Semantics for Xác suất hệ thống chuyển đổi") lần đầu tiên đối mặt với tôi với lý thuyết thể loại. Ông đã xây dựng một khung lý thuyết để mô tả các hệ thống chuyển tiếp xác suất và hành …

18 applied-theory category-theory

Yêu cầu tham khảo: Lý thuyết danh mục vì nó áp dụng cho các hệ thống loại

Tôi tiếp tục nghe về cách người ta phải học lý thuyết thể loại để thực sự hiểu lý thuyết ngôn ngữ lập trình. Cho đến nay, tôi đã học được rất nhiều PL mà không bao giờ bước chân vào vương quốc của các thể loại. Tuy nhiên, tôi …

13 reference-request programming-languages type-theory category-theory

Có một sự đẳng cấu giữa (tập hợp con) lý thuyết loại và đại số quan hệ?

Nó xuất phát từ quan điểm dữ liệu lớn. Về cơ bản, nhiều khung công tác (như Apache Spark) "bù đắp" sự thiếu các hoạt động quan hệ bằng cách cung cấp các giao diện giống Functor / Monad và có một chuyển động tương tự đối với chuyển đổi …

12 relational-algebra category-theory curry-howard

Chính xác thì sự khác biệt về ngữ nghĩa giữa thể loại và tập hợp là gì?

Trong câu hỏi này, tôi đã hỏi sự khác biệt giữa bộ và loại . Những câu trả lời này đã thực sự được làm rõ (ví dụ @AndrejBauer), vì vậy trong sự khao khát kiến thức của mình, tôi chấp nhận sự cám dỗ của việc hỏi tương tự …

11 sets category-theory

Những điểm sửa chữa là loại danh sách Haskell?

Hãy nói rằng danh sách được định nghĩa là List a = Nil | Cons a (List a) Vậy thì, trong Haskell là List xđiểm cố định lớn nhất hay ít nhất? Tôi yêu cầu bởi vì lfp nên loại trừ các danh sách vô hạn (nhưng bạn có thể …

9 programming-languages type-theory functional-programming semantics category-theory

Các hình thức của lý thuyết thể loại có thể thay thế những lý thuyết loại?

Sự tinh tế của sự tương ứng giữa lý thuyết loại và lý thuyết thể loại nằm ngoài ken của tôi. Tuy nhiên, bằng sự hiểu biết ngây thơ của tôi về mối quan hệ giữa hai môn học hội tụ trong lịch sử, cái sau hoàn toàn khuất phục …

8 type-theory category-theory

Chính thức hóa lý thuyết thể loại cơ bản trong Coq

Tôi hoàn toàn là người mới bắt đầu ở Coq và tôi đang cố gắng thực hiện một số công cụ lý thuyết thể loại như một bài tập. Tôi lướt một chút trong số các git repos của nhiều triển khai như vậy (HoTT, đồng hành Coq của Awode, …

7 reference-request category-theory coq

Là đơn sắc hữu ích trong tối ưu hóa?

Nhiều hoạt động phổ biến là đơn sắc . Haskell đã tận dụng sự quan sát này để làm cho nhiều hàm bậc cao hơn trở nên chung chung hơn ( Foldablelà một ví dụ). Có một cách rõ ràng trong đó sử dụng các đơn sắc có thể được …

7 optimization compilers category-theory

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.

Licensed under cc by-sa 3.0 with attribution required.