Truyền chức năng qua mạng trong Haskell

Question

Giả sử như sau:

Tôi có loại được gọi là World đại diện cho một số trạng thái mô phỏng. Tôi cũng có loại từ đồng nghĩa này:

type Update = World -> World 

Haskell có khả năng tuần tự hóa loại cập nhật để nó có thể được truyền qua mạng không? Hay có phương tiện nào khác để làm như vậy? Có lẽ tôi không tìm kiếm một serialization của logic của mã rất nhiều, như một số loại con trỏ hoặc định danh có thể được đọc ở đầu bên kia. Cả quá trình gửi và nhận đang chạy cùng một chương trình Haskell.

Answer 1

Gói chính xác là những gì bạn mô tả. Vì mỗi chương trình đã có cùng một tập hợp các hàm, một con trỏ trỏ tới hàm được truyền từ một tiến trình này sang tiến trình khác. Đã có đề cập đến việc tuần tự hóa chức năng như một mục tiêu tiềm năng trong tương lai nhưng có vẻ như nó có thể thay đổi GHC. Các github page là một nguồn lực tốt cho những gì backends tồn tại. Các github-pages trông rất đẹp với một số ví dụ, nhưng tôi không biết về nó cho đến một thời điểm trước đây.

Một vài lần tiêu hóa Haskell song song xung quanh issue 11 là nơi tôi nhớ được nhiều nhất. Chắc chắn mất chút thời gian để khám phá github-pages Tôi biết tôi sẽ tham gia.

Nếu tôi nhớ chính xác có những ví dụ đơn giản trong gói hackage hoặc trên repo github khám phá việc đánh cắp công việc so với chia sẻ công việc và các chiến lược tương tự.

Answer 2

Tôi khuyên bạn nên tạo cấu trúc dữ liệu DSL. Đáng buồn thay Haskell không có tính năng biên dịch thời gian chạy của lisp, nhưng nó phải là đủ.