Hầu hết các tài nguyên liên quan đến các khái niệm phân loại trong lập trình mô tả các đơn nguyên, nhưng tôi chưa bao giờ thấy một mô tả phân loại của các máy biến áp đơn nguyên.
Làm thế nào các máy biến áp đơn nguyên có thể được mô tả trong các điều khoản của lý thuyết thể loại?
Đặc biệt, tôi sẽ quan tâm đến:
Câu trả lời:
Theo Oleksandr Manzuk, họ là "bản dịch của một đơn nguyên dọc theo một điều chỉnh", xem "Tính toán máy biến áp đơn nguyên với lý thuyết danh mục" . Nhân tiện, đó là lần thứ ba đánh vào Google cho "máy biến áp đơn loại". Đầu tiên là câu hỏi Stackoverflow về điều này và thứ hai là câu hỏi của bạn.
Trả lời câu trả lời của Andrej:
Vẫn chưa có thỏa thuận rộng rãi về các máy biến áp đơn nguyên giao diện phù hợp nên hỗ trợ trong bối cảnh lập trình chức năng. MTL của Haskell là giao diện thực tế, nhưng Monatron của Jaskelioff là một thay thế.
Một trong những báo cáo kỹ thuật trước đây của Moggi, một cái nhìn trừu tượng về ngôn ngữ lập trình , thảo luận về những gì nên là khái niệm đúng về máy biến áp ở một mức độ nào đó (phần 4.1). Cụ thể, ông thảo luận về khái niệm hoạt động cho một đơn nguyên, mà ông (20 năm sau) xem xét lại với Jaskelioff trong máy biến áp đơn nguyên như máy biến áp đơn hình .
(Khái niệm hoạt động này khác với khái niệm Plotkin và Power về hoạt động đại số cho một đơn nguyên , tương đương với một mũi tên Kleisli.)