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 cho rằng đã đến lúc phải thực hiện bước nhảy vọt để xem những gì tôi đã bỏ lỡ.
Thật không may, không có nguồn nào tôi có thể tìm thấy dường như thực hiện bất kỳ kết nối nào để gõ hệ thống hoặc lập trình. Họ nói rằng đó là một giới thiệu về lý thuyết thể loại cho các nhà khoa học máy tính, nhưng sau đó chuyển sang những thứ vô nghĩa trừu tượng chung (tôi nói điều này một cách đáng yêu) mà không đưa ra bất kỳ ví dụ hay ứng dụng thực tế nào.
Tôi đoán câu hỏi của tôi thực sự là hai lần:
- Là lý thuyết thể loại cần thiết để hiểu "khái niệm sâu sắc" trong PL?
- Nguồn nào giải thích lý thuyết danh mục theo quan điểm của các ứng dụng thực tế để gõ hệ thống và lập trình?
Cho đến nay, điều xa nhất mà tôi nhận được là về một quan niệm mơ hồ về functor (dường như không liên quan đến functor trong ML, theo như tôi có thể nói). Tôi sợ sự trừu tượng mà tôi cần phải giữ trong đầu để hiểu các đơn nguyên từ quan điểm lý thuyết thể loại.