Tôi đang phát triển một máy ảo cho các chương trình thuần túy chức năng và tôi muốn có thể kiểm tra và sử dụng nhiều loại mô-đun Haskell đã có sẵn. VM lấy làm đầu vào về cơ bản các thuật ngữ trong phép tính lambda chưa được phân loại. Tôi tự hỏi những gì sẽ là một cách tốt để trích xuất như một đại diện từ các mô-đun Haskell hiện đại (ví dụ: với MPTC, mô hình bảo vệ, vv). Tôi đã làm một ít nghiên cứu và có vẻ như không phải là một công cụ thực hiện điều này (tôi sẽ rất vui khi bị nhầm lẫn), và điều đó không sao. Tôi đang tìm cách tiếp cận.Chiến lược cho desugaring Haskell
GHC Core dường như quá tập trung vào hoạt động, đặc biệt vì một trong những điều mà VM thực hiện là thay đổi thứ tự đánh giá một cách đáng kể. Có bất kỳ biểu diễn trung gian có thể truy cập nào tương ứng chặt chẽ hơn với phép tính lambda không?
Tuyến đường cốt lõi có nghĩa là bạn bị thúc đẩy bởi các phát biểu trường hợp - nhưng bạn có thể biến những người đó trở lại thành các bảng mã nhà thờ và sau đó bạn là 90% con đường ở đó, phải không? – sclv
@sclv, hmm đó là một điểm tốt. – luqui