refinement-type

19Nhiệt

3Trả lời

Có thể thực thi Bản ghi tôn trọng một số bất biến không?

Giả sử tôi muốn tạo ra một loại Ghi đại diện chấp nhận min/max giới hạn: type Bounds = { Min: float; Max: float } Có cách nào để thực thi mà Min < Max? Nó rất dễ dàng để viết một hàm validateBounds,