1
Ngẫu nhiên, kiểu đúc tĩnh (ép buộc) trong Haskell
Vấn đề Hãy xem xét các vấn đề thiết kế sau đây trong Haskell. Tôi có một EDSL đơn giản, tượng trưng trong đó tôi muốn biểu thị các biến và biểu thức tổng quát (đa thức đa biến) như x^2 * y + 2*z + 1. Ngoài ra, tôi …