Một ví dụ điển hình là Tối ưu hóa trình biên dịch của Tate và cộng sự từ các bằng chứng . Anh ta sử dụng pullback và đẩy ra như các hiệp hội và giao điểm tổng quát, trong các thể loại mà mũi tên là (IIRC) thay thế.
Ross Tate tuyên bố (trên trang web giấy) rằng các chi tiết là quá nhiều mà không có sự trừu tượng hóa theo lý thuyết thể loại. Cá nhân, tôi muốn gửi "bằng chứng gợi ý" (nếu có thể có bất kỳ bằng chứng nào về yêu cầu đó) (6) và (7) trong bài viết của họ - chúng trông đủ phức tạp ở dạng sơ đồ. Hãy để tôi trích dẫn ý kiến của họ nội tuyến.
Một số người đã hỏi chúng tôi tại sao chúng tôi trừu tượng hóa kỹ thuật khái quát hóa bằng chứng của chúng tôi, và tại sao chúng tôi sử dụng lý thuyết thể loại như là sự trừu tượng của chúng tôi. Tuy nhiên, chúng tôi thực sự đã thiết kế thuật toán trừu tượng trước tiên, sử dụng lý thuyết thể loại và sau đó sử dụng thuật toán đó để tìm ra cách giải quyết vấn đề cụ thể của chúng tôi. Chúng tôi đã bị mắc kẹt với vấn đề cụ thể, bị choáng ngợp bởi các chi tiết và các biến, và bất kỳ giải pháp nào chúng tôi có thể nghĩ là có vẻ tùy tiện. Để phản ánh và đơn giản hóa, chúng tôi quyết định phân loại câu hỏi của chúng tôi một cách phân loại. Điều này dẫn đến một sơ đồ về nguồn và chìm, vì vậy chúng tôi chỉ sử dụng đẩy và kéo để dán mọi thứ lại với nhau. Thách thức lớn nhất là đến với việc hoàn thành đẩy ra, thay vì sử dụng một số khái niệm tiêu chuẩn hiện có. Các công thức phân loại là dễ dàng để xác định và lý do về. Sau đó, chúng tôi đã khởi tạo các quy trình trừu tượng,
Chúng tôi đã thực sự tìm thấy quá trình trừu tượng hóa này cho lý thuyết thể loại bất cứ khi nào chúng tôi gặp khó khăn là khá hiệu quả. Nó không chỉ giải quyết vấn đề cụ thể của chúng tôi, mà chúng tôi còn hiểu rõ hơn về vấn đề của chính chúng tôi cũng như một giải pháp trừu tượng có thể dễ dàng thích nghi với các ứng dụng khác. Do đó, kinh nghiệm của chúng tôi cho thấy rằng lý thuyết thể loại có thể hữu ích trong việc xây dựng các thuật toán thực tế, ngoài việc hữu ích như một khuôn khổ để chính thức hóa. Chúng tôi sẽ quan tâm để biết về những trải nghiệm tương tự khác, tích cực hoặc tiêu cực.