Tôi muốn thực hiện một thuật toán lập trình động đa hình trong loại điểm số; đây là phiên bản 1D được đơn giản hóa không có điều kiện biên: {-# LANGUAGE ConstraintKinds, FlexibleContexts, RankNTypes,
chúng ta hãy nói rằng tôi đã có các loại sau đây:
data MyType = Constructor0 | Constructor1 | Constructor2
deriving (Eq,Show,Enum)
Có cách nào để tạo ra một trong những trường hợp như vậy:
Tôi đang làm việc theo số sorting library cho MArrays. Tốc độ là quan trọng, vì vậy tôi muốn tối ưu hóa nó càng nhiều càng tốt. Hiện tại, tôi chỉ đơn giản là INLINE chức năng sắp xếp. Điều này làm tăn