Saya telah bermain-main dengan resumptions akhir-akhir ini, sebagian besar dari karya klasik Abramsky Retracing Some Paths in Process Algebra . Mereka cukup licin (pada dasarnya solusi untuk persamaan domain ), dan sangat mengingatkan pada jaringan Kahn.
Tentu saja, pengamatan ini tidak asli bagi saya --- mereka membentuk kategori monoid yang dilacak, dan fakta ini digunakan oleh Abramsky dan Jagadeesan untuk memberikan semantik pada logika linier. Bagaimanapun, perhatikan bahwa jika Anda memberi makan input tipe , Anda mendapatkan output tipe dan , yang memungkinkan Anda memodelkan fakta bahwa node aliran data dapat berubah saat melihat input masuk.
Hasilnya, sepertinya mereka bisa memberikan API yang bagus untuk membangun transduser I / O dalam bahasa tingkat tinggi seperti ML atau Haskell, tapi sepertinya saya tidak dapat menemukan makalah yang menggambarkan hal semacam itu. Tapi mereka sudah ada selama beberapa dekade, dan Gordon Plotkin menemukan mereka, jadi itu tidak seperti mereka merana dalam ketidakjelasan. Jadi saya bertanya-tanya apakah ada yang melihat mereka menggunakan seperti itu.