Gần đây, tôi đã chơi xung quanh với những hồi tưởng , chủ yếu là từ bài báo kinh điển của Abramsky Retracing Một số con đường trong Đại số quá trình . Chúng khá lắt léo (về cơ bản là các giải pháp cho phương trình miền ) và rất gợi nhớ đến các mạng Kahn.
Tất nhiên, quan sát này không phải là nguyên bản đối với tôi --- chúng tạo thành một thể loại đơn hình truy tìm, và thực tế này đã được Abramsky và Jagadeesan sử dụng để đưa ra ngữ nghĩa cho logic tuyến tính. Dù sao đi nữa, lưu ý rằng nếu bạn ăn một nối lại một đầu vào của loại tôi , bạn sẽ có được một sản lượng của loại O và được cập nhật trở lại r ' , đó là những gì cho phép bạn mô hình thực tế là một nút dataflow có thể thay đổi nếu thấy đầu vào mời vào.
Kết quả là, có vẻ như họ có thể cung cấp một API đẹp để xây dựng các bộ chuyển đổi I / O bằng ngôn ngữ bậc cao như ML hoặc Haskell, nhưng tôi dường như không thể tìm thấy bất kỳ bài báo nào mô tả điều đó. Nhưng chúng đã tồn tại trong nhiều thập kỷ và Gordon Plotkin đã phát minh ra chúng, vì vậy không giống như chúng bị lu mờ trong bóng tối. Vì vậy, tôi đã tự hỏi nếu có ai đã nhìn thấy họ đưa vào sử dụng như vậy.