dependent-type

9熱

1答えて

haskellの従属型キュー

私はexamples using the PolyKinds extension in GHCについて私自身の質問に答えようとし、より具体的な問題を思いつきました。私は、dequeueが要素を取るヘッドリストとenqueueが置くテールリストの2つのリストから構築されたキューをモデル化しようとしています。 これを興味深くするために、私は、テールリストがヘッドリストより長くなることはできないという制

haskell types dependent-type 2011-12-29

---