dependent-type

9Nhiệt

1Trả lời

Hàng đợi được đánh máy phụ thuộc vào haskell

Tôi đã cố gắng trả lời câu hỏi của riêng mình về examples using the PolyKinds extension in GHC và đưa ra một vấn đề cụ thể hơn. Tôi đang cố gắng lập mô hình một hàng đợi được xây dựng từ hai danh sách