Bartosz Milewski memperkenalkan kembali konsep actegories melalui tulisan yang dipublikasikan di Hacker News pada 30 Juni 2026. Konsep tersebut menjadi fondasi teoretis bagi optik pemrograman seperti lensa, prisma, dan traversals yang banyak dipakai dalam pengembangan perangkat lunak fungsional.
Optik dalam pemrograman fungsional menawarkan cara presisi untuk mengakses dan memodifikasi bagian data yang bersarang. Milewski menegaskan bahwa actegories memegang peran sentral dalam mendefinisikan operasi tersebut secara matematis, sekaligus meneruskan pembahasan sebelumnya tentang ekstensi Kan dalam kategori ganda.
Untuk memahami actegories, perlu dimulai dari definisi kategori monoidal. Kategori monoidal merupakan kategori yang dilengkapi dengan produk tensor, yaitu functor yang menggabungkan dua objek menjadi satu. Produk tersebut dianggap asosiatif dan unital hingga isomorfisme, dilengkapi dengan associator dan unitors yang dapat dibalik.
Pemodelan kategori monoidal dalam Haskell dilakukan dengan memparameterkan tipe produk tensor sebagai Bifunctor. Penulis menggunakan kind khusus Constraint untuk membatasi tipe objek, misalnya melalui typeclass Monoid. Pragma bahasa UndecidableSuperClasses diperlukan guna mengatasi sirkularitas saat menentukan prasyarat objek unit.
Beberapa contoh konkret ditampilkan. Kategori semua tipe dengan produk kartesian sebagai tensor menjadi contoh paling sederhana. Selain itu, Either dapat berfungsi sebagai produk tensor, begitu juga dengan constraint Monoid yang membatasi objek kategori.
Actegory sendiri didefinisikan sebagai kategori yang mendukung aksi dari kategori monoidal. Bayangkan sebagai proses mengalikan objek kategori tersebut oleh objek kategori monoidal. Aksi kiri diformalkan sebagai functor dari kategori produk ke kategori target, atau setelah currying menjadi functor ke kategori endofunctor.
Dalam terjemahan Haskell, aksi tersebut disederhanakan sebagai Bifunctor dengan ketergantungan fungsional act -> ten. Contoh paling dasar ialah aksi mandiri dari produk kartesian, di mana kategori monoidal bertindak pada dirinya sendiri. Koherensi aksi dijaga melalui transformasi natural invertible yang menghubungkan aksi dengan produk tensor dan unitnya.
Bagi pengembang di Indonesia, konsep ini mungkin terdengar sangat akademis. Namun, ia menjadi tulang punggung pustaka seperti lens yang digunakan untuk manipulasi data kompleks dalam Haskell. Startup lokal yang mengadopsi paradigma fungsional, misalnya pada layanan backend dengan Scala atau PureScript, dapat mengambil manfaat dari fondasi teoretis yang lebih jelas.
Perbandingan dengan ekosistem domestik menunjukkan bahwa mayoritas pemrogram masih menggunakan bahasa imperatif atau berorientasi objek. Kendati demikian, komunitas Haskell Indonesia serta pertemuan rutin di Jakarta, Bandung, dan Yogyakarta mulai memperkenalkan teori kategori kepada audiens yang lebih luas. Tulisan Milewski memberi materi belajar yang langka dalam bahasa pemrograman tersebut.
Pemahaman actegories berpotensi mengoptimalkan desain pustaka optik sehingga mengurangi cacat perangkat lunak pada sistem dengan manajemen state rumit. Di lingkungan akademik, konsep ini dapat memperkaya kurikulum metode formal di perguruan tinggi negeri.
Milewski menegaskan bahwa actegories memegang peran sentral dalam optik pemrograman, mencakup lensa, prisma, serta traversals. Ia juga memaparkan bahwa actegories dengan kategori monoidal sama membentuk kategori baru, dengan morfisme berupa functor monoidal ketat yang dapat dimodelkan langsung di Haskell.
Struktur tersebut sebenarnya membentuk bicategori, di mana transformasi natural penjaga aksi bertindak antar functor monoidal. Contoh functor monoidal antara actegories non-trivial disertai kode Haskell yang tersedia bagi pembaca yang ingin bereksperimen.
Ke depan, konsep actegories diproyeksikan makin relevan seiring meningkatnya adopsi bahasa fungsional dan kebutuhan verifikasi formal perangkat lunak. Implementasi referensi yang dibagikan menjadi batu pijak bagi pengembang yang hendak membangun abstraksi optik lebih efisien.
Tren penelitian teori kategori terapan, termasuk pembahasan sebelumnya tentang ekstensi Kan, mengindikasikan penyatuan antara matematika murni dan praktik coding. Indonesia perlu mempersiapkan talenta yang memahami abstraksi tingkat tinggi agar dapat bersaing dalam pengembangan perangkat lunak global.